mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
The refactoring also fixes the problem with wrong types inferred for contextlib.contextmanager GitOrigin-RevId: 1601047786a0c43a463a82225b18635d407bcb40