Skip to content

Conversation

dmtucker
Copy link
Collaborator

@dmtucker dmtucker commented May 8, 2023

No description provided.

@dmtucker dmtucker added this to the 1.0.0 milestone May 8, 2023
@dmtucker dmtucker marked this pull request as ready for review May 8, 2023 06:33
@dmtucker dmtucker merged commit 82c41fb into realpython:main May 8, 2023
@dmtucker dmtucker deleted the mypy1 branch May 8, 2023 06:33
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.

1 participant