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