mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-175311 Merged-by: Aleksandr Bubenchikov <alexander.bubenchikov@jetbrains.com> (cherry picked from commit e3cd28795c7a24db59fd581d93843f72bfea3278) IJ-CR-180089 GitOrigin-RevId: 1147b8e6ee9d02eb7f43d5f89787bcbc41712fff