On Mon, Aug 1, 2011 at 12:20:11 +0200, Philipp Kern wrote: > Julien, > > am Sun, Jul 31, 2011 at 08:19:42PM +0200 hast du folgendes geschrieben: > > This has been sitting in git for a while now (I'd actually forgotten > > about this), but we may want to fix it anyway. > > please go ahead. > Uploaded. Cheers, Julien