mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
Merge-request: IJ-MR-149769 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> (cherry picked from commit c517d3b49a16889c80ecf3e6f46e35380a9e8277) IJ-MR-149769 GitOrigin-RevId: b5ccbefc1fba7708b9a2e8b59db3c23c69c96e72