Skip to content

Conversation

@0101
Copy link
Contributor

@0101 0101 commented Aug 21, 2023

Fixes #15371

Let's see if it breaks something else...

@0101 0101 requested a review from a team as a code owner August 21, 2023 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Renaming doesn't work properly for interface members

3 participants