On Thu, Oct 13, 2016 at 1:50 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Junio C Hamano <gitster@xxxxxxxxx> writes: > >> Dennis Kaarsemaker <dennis@xxxxxxxxxxxxxxx> writes: >> >>> OK, so here it is as a proper patch. > > Here is what I queued. Duy, what do you think? It seems OK to me. Ack. Thanks both. -- Duy