mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Merge-request: IJ-MR-156167 Merged-by: Nikita Skvortsov <Nikita.Skvortsov@jetbrains.com> Code-Review: IJ-CR-156536 (cherry picked from commit ecabf1c7c4b9bf283ebbffb59a187337c8a00ed6) GitOrigin-RevId: 96a1af03e2bb6ba2ed9b2fbb31261a2b56fc3320