On 07/06/2012 10:34 AM, Stefano Lattarini wrote: > > Thanks. I'll push the patch by this evening or afternoon if nobody > else speaks out. > Pushed now. I'm thus closing this bug report.
Regards, Stefano
On 07/06/2012 10:34 AM, Stefano Lattarini wrote: > > Thanks. I'll push the patch by this evening or afternoon if nobody > else speaks out. > Pushed now. I'm thus closing this bug report.
Regards, Stefano