On Mon, Feb 15, 2010 at 08:48:45AM +0100, Rémi Denis-Courmont wrote : > WTH is this? Totally my fault. > When do people stop pushing crap to the repository? When Git becomes easy to use? Anyway, sorry so so so much for the mess. This should be fixed and cleaned-up. -- Jean-Baptiste Kempf http://www.jbkempf.com/