I closed the vote (sorry I only managed now, I forgot on Wednesday). The result is clear: there are 7 SC votes and 2 community votes for merging the PR, and no votes against it. I’m going the merge the PR then.
Thanks everyone!
I closed the vote (sorry I only managed now, I forgot on Wednesday). The result is clear: there are 7 SC votes and 2 community votes for merging the PR, and no votes against it. I’m going the merge the PR then.
Thanks everyone!