On 01/08/2012 12:54 PM, Stefano Lattarini wrote:
> 
> Attached is what I'll pushed to maint in 72 hours, if there is no objection.
> 
No objection has been advanced; I've thus pushed the patch and closed this
bug report.

Thanks,
  Stefano

Reply via email to