On Thu, 2007-05-17 at 00:53 +0200, benoit.guillon wrote: > Hello, > > Here is a little patch in order to fix the following: This no longer applies, would you mind rediffing against git HEAD. Cheers Paul