Skip to content

Conversation

@gvanrossum
Copy link
Member

This reverts commit 7e05d47.

See discussion at #1080

@gvanrossum gvanrossum merged commit 604839c into master Mar 25, 2017
@gvanrossum gvanrossum deleted the revert-select branch March 25, 2017 19:36
hswong3i pushed a commit to alvistack/python-typeshed that referenced this pull request May 25, 2025
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