Skip to content

Conversation

@waywardmonkeys
Copy link
Contributor

This is an API change, but a search on GitHub didn't find anyone actually using this by the wrong name.

This is an API change, but a search on GitHub didn't find anyone
actually using this by the wrong name.
@mrobinson mrobinson added the major release A PR that breaks API, so must wait until the next major release. label Aug 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

major release A PR that breaks API, so must wait until the next major release.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants