On Tue, Sep 5, 2017 at 3:03 PM, Jeff King <peff@xxxxxxxx> wrote: > > This probably fixes it: Yup. Thanks. Linus