mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
#IDEA-377910 Fixed Merge-request: IJ-MR-177841 Merged-by: Marcin Mikosik <marcin.mikosik@jetbrains.com> GitOrigin-RevId: 14af00bf03e62781182559847f35b7d18e1c2a91