Lars Schneider <larsxschneider@xxxxxxxxx> writes: >> On 16 Nov 2017, at 07:04, Junio C Hamano <gitster@xxxxxxxxx> 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.