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