On Wed, Oct 21, 2015 at 2:04 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Looking at their final resting place, I do not think so. Right, I comment along the way without looking ahead, so this was a bad comment. -- 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