On Fri, Feb 7, 2014 at 2:31 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Nguyễn Thái Ngọc Duy <pclouds@xxxxxxxxx> writes: > >> Reported by Jeff [1]. Junio spotted it right but nobody made any move >> since then. > > Hrm. Was I supposed to make any move at that point? The discussion > ended by me asking a question "what happens if we did X?" and there > was no discussion. Don't take it the wrong way. I was just summarizing the last round. It surprised me though that this went under my radar. Perhaps a bug tracker is not a bad idea after all (if Jeff went missing, this bug could fall under the crack) -- Duy -- 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