mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
Temporarily exclude https://github.com/python/typeshed/pull/4987 Temporarily exclude https://github.com/python/typeshed/pull/5206 from `collections/__init__.pyi` GitOrigin-RevId: 1bf4e6120ecd5927a113716878e503239ba33873