Skip to content

Conversation

gvanrossum
Copy link
Member

(Should have been part of PR gh-#107151.)

@gvanrossum gvanrossum enabled auto-merge (squash) August 10, 2023 00:19
@gvanrossum gvanrossum merged commit 4890bfe into python:main Aug 10, 2023
@gvanrossum gvanrossum deleted the tweak-generator branch August 11, 2023 20:02
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