Hi Sander, On Fri, Jun 01, 2012 at 08:30:26AM +0200, Sander Klein wrote: > Thank you for your answer. I'll ignore it then.
Sleeping a bit on a bug is sometimes profitable. I have fixed it the right way this morning and pushed the fix to git. I think I'll issue -dev11 this week-end because there were still a huge number of bugs pending since dev10 ! Cheers, Willy