mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
https://youtrack.jetbrains.com/issue/IDEA-261249 Merge-request: IJ-MR-164301 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: 067df647f8209da71e41c961fe9ced3fe89a9ee7