Hello Ralf.  Ping on this?

I'll wait 48 hours, then, if there are no objections, I'll push the 
patch to maint (with merges to master and branch-1.11, following your 
earlier advices).

Regards,
   Stefano

Reply via email to