Good spot, thanks for the fix! I've just kicked off CI, and once that passes we can land this.
« Back to merge proposal
Good spot, thanks for the fix! I've just kicked off CI, and once that passes we can land this.