mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-02 16:03:45 +08:00
Guido van Rossum
1ea3d2de57
Another attempt for #804, to unblock python/mypy#2626. There's a work-around here for python/mypy#1551.