Skip to content

Conversation

@vstinner
Copy link
Member

@vstinnervstinner commented Jul 4, 2023

@vstinner
Copy link
MemberAuthor

Oh, there is already a fix: PR #106408.

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

@vstinner@bedevere-bot