mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-07-30 03:42:51 +08:00
Pytype release 2019.02.13 fixed the bug that necessitated this workaround.
Pytype release 2019.02.13 fixed the bug that necessitated this workaround.