On Thursday 17 November 2011, Stefano Lattarini wrote:
> I will push this *to maint* in a couple of days if there are no objections.
> 
Pushed now, and merged into branch-1.11.

Regards,
  Stefano

Reply via email to