Lars Schneider <[email protected]> writes: >> On 16 Nov 2017, at 07:04, Junio C Hamano <[email protected]> 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.
