mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-16 21:45:04 +08:00
77af85649b
This reverts commit 8b835f9500.
(Because we've fixed the issue in python/mypy#3213.)