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)
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