Skip to content

Conversation

@rcannood
Copy link

@rcannood rcannood commented Nov 26, 2025

Not sure how interesting fixing typos in old release notes is, but here we are. I created a separate PR so that #1237 could be merged and #1238, in case there is little interest in this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant