Thanks !
On Thu, 13 Jun 2024 at 13:20, Igor Soarez <i...@soarez.me> wrote: > > 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
