mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-13 10:08:27 +08:00
5cf4f77401
A pytype user reported it missing: https://github.com/google/pytype/issues/590.