Closed rgommers closed 8 months ago
Q: Does it matter that we backport this?
Not sure, perhaps not. I wouldn't exactly consider it a bug fix.
It looks like we're happy as is with this PR, right? I'll plan to merge it soon unless there's an objection.
Yup ready to go anytime!
Yes, thank you!
Q: Does it matter that we backport this?