10000 Various updates to typing.py by gvanrossum · Pull Request #2382 · python/mypy · GitHub
[go: up one dir, main page]

Skip to content

Various updates to typing.py#2382

Merged
gvanrossum merged 1 commit intomasterfrom
newtyping
Oct 31, 2016

Commits

Commits on Oct 29, 2016

0