On Sun, Mar 12, 2017 at 08:38:53AM -0400, Jeff King wrote: > I posted this last week in the middle of another thread[1], but it > didn't get any attention. So here it is again. Oops, that [1] should be: http://public-inbox.org/git/20170304034914.cgyvz735lxhe2cno@xxxxxxxxxxxxxxxxxxxxx/ -Peff