@robmiles revert an inadvertent change to infrastructure from a previous commit
Merge pull request #701 from robmiles/master

@robmiles revert an inadvertent change to infrastructure submodule