On Wednesday 08 September 2010, Ralf Wildenhues wrote:
> Ah ok, I didn't think of that.  Patch is better the way you posted
> it then.
Pushed (to maint only, no master/branch-1.11 merges).

Regards,
   Stefano

Reply via email to