Skip to content

Conversation

@richardkiss
Copy link
Contributor

Similar to #4354 except these include symbol renames, so might be more controversial if they're used externally, and should be adapted with more care.

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