On Oct 19, 2010, at 1:48 PM, Nicola Pero wrote: > This bug seems to have already been fixed in trunk :-) > Ok to commit to trunk ? Ok.