Skip to content

Conversation

hauntsaninja
Copy link
Collaborator

Suggested in #12825

@hauntsaninja hauntsaninja merged commit 16d27a2 into python:master May 23, 2022
@hauntsaninja hauntsaninja deleted the stubtver branch May 23, 2022 00:26
@sobolevn sobolevn mentioned this pull request Aug 12, 2024
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.

2 participants