On Fri, Feb 7, 2014 at 2:31 AM, Junio C Hamano <gits...@pobox.com> wrote: > Nguyễn Thái Ngọc Duy <pclo...@gmail.com> writes: > >> Reported by Jeff . 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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html