Skip to content

Conversation

gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented Jun 27, 2023

Managed to forget this in gh-105924.

@gvanrossum gvanrossum merged commit 0762775 into python:main Jun 27, 2023
@gvanrossum gvanrossum deleted the exec-cases-line-dirs branch June 27, 2023 13:56
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.

3 participants