On 04/26/2012 11:38 AM, Stefano Lattarini wrote:
>  Will push shortly then.
> 
Pushed now.  I'm thus closing this bug report.

Thanks,
  Stefano



Reply via email to