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.