Hi, On Wed, 20 Aug 2008, Jeff King wrote: > There is a lot of room for discussion here. Indeed. When I posted a similar patch, there was some discussion, too. But no resolution, as it seemed nobody was really interested. Ciao, Dscho -- 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
