mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
#IDEA-371645 fixed Merge-request: IJ-MR-161862 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: e151e27ffc84aa8263f1b67d6c80662614bec6ac