mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-143762 Merged-by: Dmitrii Petukhov <dmitrii.petukhov@jetbrains.com> GitOrigin-RevId: a3bf4c249f31eced4688d0a1566d0bf25bc591f7