mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Merge-request: IJ-MR-196198 Merged-by: Krystian Gajewski <krystian.gajewski.external@jetbrains.com> (cherry picked from commit 576d8a4ce3d2b5ea9d4d1141ca4b9e28329114ca) GitOrigin-RevId: 4d4513a6a9b35541bf4f2d8e1ec74fa9cc4ff8f3