On Tue, Sep 5, 2017 at 3:03 PM, Jeff King <[email protected]> wrote:
>
> This probably fixes it:

Yup. Thanks.

           Linus

Reply via email to