On Tue, 03 Sep 2013 15:02:50 +0000, Michael Schubert wrote:
> > happen to have the HEAD *commit* as their tip.
> Yes, it picks the first of those:
Thanks for the pointer.
And pity, the patches didn't make it that time either...
"Totally trivial. Famous last words."
From: Linus Torvalds <torvalds@*.org>
Date: Fri, 22 Jan 2010 07:29:21 -0800
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