Hi Stefano, I've applied your patches 2/6, 3/6, and 4/6 of this series to maint, and merged to master and branch-1.11.
Thanks for all the work, and sorry for the long delay. Cheers, Ralf
Hi Stefano, I've applied your patches 2/6, 3/6, and 4/6 of this series to maint, and merged to master and branch-1.11.
Thanks for all the work, and sorry for the long delay. Cheers, Ralf