Hello Ralf.  Ping on this?

I'll wait 48 hours, then, if there are no new 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