Lars Schneider <larsxschnei...@gmail.com> writes:

>> On 16 Nov 2017, at 07:04, Junio C Hamano <gits...@pobox.com> wrote:
>
> Wow. Thanks for the quick patch :-)

Heh, this is not exactly my itch, so if you are inclined to, can you
take it over from here on?

Thanks.

Reply via email to