Skip to content

Conversation

@srittau
Copy link
Contributor

Per discussion in python/typing#597.

@srittau
Copy link
ContributorAuthor

@gvanrossum@JukkaL@ambv as authors.

@gvanrossumgvanrossum merged commit 6966646 into python:masterApr 12, 2019
@srittausrittau 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
@gvanrossumgvanrossum mentioned this pull request Apr 6, 2020
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@srittau@brettcannon@JelleZijlstra@gvanrossum@the-knights-who-say-ni