On Thu, Feb 06, 2014 at 11:31:02AM -0800, Junio C Hamano 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. No, you were rightly waiting on me. I queued it on my todo list but haven't gotten around to it (and hadn't received any reports since the original, so didn't consider it high priority). I picked it off my todo list and stuck it on the bug list under "insanely hard" for fun (because I think the diagnosis probably would have been beyond a first-time git contributor). Thanks very much for looking at (and fixing!) this, Duy. -Peff -- 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