This landed already. For some reason the bot didn't pick up the approval votes.
I'm marking this MP as merged to reflect the current status.
« Back to merge proposal
This landed already. For some reason the bot didn't pick up the approval votes.
I'm marking this MP as merged to reflect the current status.