Skip to content

Conversation

elliott-beach
Copy link
Contributor

@elliott-beach elliott-beach commented Jan 17, 2018

Follow up on python/mypy#4470

although maybe this should be more prominently displayed, because it seems to come up a lot?

Copy link
Member

@gvanrossum gvanrossum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well only once per contributor. :-)

I don't know how to get people to read docs...

@gvanrossum gvanrossum merged commit f207bc3 into python:master Jan 17, 2018
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