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