I've now pushed the patch to maint, and merged maint into master.

Regards,
   Stefano

Reply via email to