mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +07:00
#IDEA-367961 fixed Merge-request: IJ-MR-155974 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: aa16bf0758ef523f21c0eeaf73e27e418fc0cd89