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
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