Skip to content

Conversation

@gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented Jun 12, 2023

It will not be used again.

@gvanrossum gvanrossum enabled auto-merge (squash) June 12, 2023 17:22
@gvanrossum gvanrossum merged commit b9e7dc7 into python:main Jun 12, 2023
@gvanrossum gvanrossum deleted the rm-super branch June 13, 2023 20:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants