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/[email protected]/ -Peff
