mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +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: 6146af923d749b0cff56e823101b8f2b8525383d