Hi Edoardo, It is late, but not too late. I have cherry-picked your change to the 3.7 branch and I'll build a second release candidate.
If you could have a look at the first RC, please let me know if you spot any issues with it that can be avoided in the next RC. Thanks, -- Igor
