mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
Merge-request: IJ-MR-196712 Merged-by: Maxim Popov <maxim.popov@jetbrains.com> (cherry picked from commit a342c9beb9304d371c92189de5425c7a16bef4c8) IJ-MR-196712 GitOrigin-RevId: d691600f3461607331e69015f781267773ee4648