Hi, On Mon, 8 May 2006, sean wrote: > There's no good reason for git to break with traditional and common > practice in this case. It is well established common practice that ini files (and everything in config resembles an ini file) have case insensitive section headers as well as keys. Ciao, Dscho - : 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