Hello Ralf. Ping on this? I'll wait 72 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
Hello Ralf. Ping on this? I'll wait 72 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