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

Reply via email to