Skip to content

Conversation

@iritkatriel
Copy link
Member

@iritkatrieliritkatriel commented Jan 29, 2023

@gpsheadgpshead merged commit c4170c3 into python:mainJan 30, 2023
mdboom pushed a commit to mdboom/cpython that referenced this pull request Jan 31, 2023
@iritkatrieliritkatriel deleted the type-fix branch April 3, 2023 17:47
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

@iritkatriel@gpshead@bedevere-bot