8000 Merge pull request #1239 from ddfisher/master · python/mypy@e360dae · GitHub
[go: up one dir, main page]

Skip to content

Commit e360dae

Browse files
committed
Merge pull request #1239 from ddfisher/master
Update typeshed
2 parents b5c5a0e + b064011 commit e360dae
0