Skip to content

Conversation

@rwbarton
Copy link
Contributor

These should cause mypy to skip processing the imported module
entirely, which I tried to break in #1737.

These should cause mypy to skip processing the imported module
entirely, which I tried to break in python#1737.
@gvanrossum
Copy link
Member

LGTM -- feel free to merge once the tests pass.

@rwbarton rwbarton merged commit d379a93 into python:master Jun 22, 2016
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