tree aed07fb9dff899bdc7163ee7490ceccd670d8265
parent f03ad0ed65014b81fb7e525fa1e52c48072c344d
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1409837196 +0100
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1409837196 +0100

[TAVSERV-340] Ensure that the added options are applied here too.