Skip to content

Conversation

@emmatyping
Copy link
Member

From #4898. This should be cherry-picked into the 0.590 release. Apologies for the last minute bug!

@gvanrossum gvanrossum merged commit 081a275 into python:master Apr 13, 2018
gvanrossum pushed a commit to gvanrossum/mypy that referenced this pull request Apr 13, 2018
From python#4898. This should be cherry-picked into the 0.590 release. Apologies for the last minute bug!
@emmatyping emmatyping deleted the stubfix branch April 13, 2018 04:20
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