Skip to content

Conversation

@gvanrossum
Copy link
Member

@gvanrossumgvanrossum commented Jun 27, 2023

Managed to forget this in gh-105924.

@gvanrossumgvanrossum merged commit 0762775 into python:mainJun 27, 2023
@gvanrossumgvanrossum deleted the exec-cases-line-dirs branch June 27, 2023 13:56
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@gvanrossum@iritkatriel@bedevere-bot