Skip to content

Conversation

@tiran
Copy link
Member

@tirantiran commented Mar 3, 2022

Signed-off-by: Christian Heimes <christian@python.org>
@vstinner
Copy link
Member

I wrote a different fix: #31668

@vstinner
Copy link
Member

I merged #31668 instead, thanks for your PR!

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.

4 participants

@tiran@vstinner@the-knights-who-say-ni@bedevere-bot