On 7 August 2017 at 19:57, David Spencer <baildon.research at googlemail.com> wrote: > Do people think it's worth fixing this in the whole repo? Definitely! :) Less gotchas when building can only be a good thing imo