Skip to content

Conversation

@nejch
Copy link
Member

@nejch nejch commented Apr 7, 2023

Closes #2484

@nejch nejch requested a review from JohnVillalovos April 7, 2023 09:21
@JohnVillalovos JohnVillalovos force-pushed the chore/typing-extensions-3-7 branch from 247fec1 to 1a498de Compare April 7, 2023 15:00
@JohnVillalovos JohnVillalovos merged commit 3abc557 into main Apr 7, 2023
@JohnVillalovos JohnVillalovos deleted the chore/typing-extensions-3-7 branch April 7, 2023 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add typing_extensions for 3.7

3 participants