On Fri, May 13, 2016 at 9:42 PM, Christian Couder <christian.couder@xxxxxxxxx> wrote: > On Thu, May 12, 2016 at 9:56 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> Christian Couder <christian.couder@xxxxxxxxx> writes: >> >>> This is just a small cleanup. >> >> ... which may have been better happened at 09/94. > > Ok, I will squash it in 09/94. This has been done in the v3 I just sent, though I forgot to mention it in the changes. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html