Skip to content

Conversation

@gvanrossum
Copy link
Member

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

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

@gvanrossum@bedevere-bot