On 11/15/2012 07:36 PM, Stefano Lattarini wrote: > > The patch below seems to solve the issue. Just let me run a complete > bootstrap to ensure this is the case ... > Yep, it works. But I don't have pushing rights, so someone will have to apply it for me.
Regards, Stefano
