On 2 August 2016 at 15:36, Tim Northover <t.p.northover at gmail.com> wrote: > I think I've spotted what the issue is; it looks like a one-line fix > so I'll check it over and commit that (Sam's likely on GMT+1 and > sleeping now). Should be fixed by r277541. Tim.