mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-06-15 04:00:43 +08:00
72d275bbf5
(It's a type alias for int anyway, and it will cause a problem in the initial import cycle once #886 is merged.)