Skip to content

Conversation

@srittau
Copy link
Contributor

@srittau srittau commented Dec 25, 2018

Per discussion in python/typing#597.

@srittau
Copy link
Contributor Author

srittau commented Dec 25, 2018

@gvanrossum @JukkaL @ambv as authors.

@brettcannon brettcannon requested review from ambv and gvanrossum January 3, 2019 20:19
@gvanrossum gvanrossum merged commit 6966646 into python:master Apr 12, 2019
@srittau srittau deleted the type-check-only branch April 13, 2019 08:32
ncoghlan pushed a commit to ncoghlan/peps that referenced this pull request May 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants