Re: slightly confusing message

Leon George [off-list ref] writes:

On 20/02/17 21:19, Junio C Hamano wrote:

quoted

This sounds vaguely familiar and indeed I think it is this one:
https://public-inbox.org/git/CAEnOLdvG=SoKFxeJ_pLmamGj_8osC+28TSg+pbFLLTr+ZLcpQA@mail.gmail.com/
which was from late last year.

Which means I should have found it before bothering you.

It means no such thing, though.  It just means that I happen to be
more familiar with what has gone on the development recently than
you were ;-)

quoted

I suspect that the issue may already be fixed at the tip of 'master'
(aka Git 2.12-rc2).

You're absolutely right. Took a while to build, but here goes:
...
Splendid!

Thanks for confirming.