On Wed, Oct 18, 2017 at 10:42 PM, Jeff King <peff@xxxxxxxx> wrote: > > So I think the right fix is this: > [...] > > It's late here, so I'll wait for comments from Stefan and then try to > wrap it up with a commit message and test tomorrow. > > -Peff I agree that this is better and looks correct. Thanks for offering to send a patch. I'd be happy to review it. Thanks, Stefan