mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Merge-request: IJ-MR-150854 Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com> (cherry picked from commit ae24337d4cf3e2f8aa3219681bb36abce17cd212) IJ-MR-150854 GitOrigin-RevId: f42a45ee8af4e48ab83442960e1c9cbe3e15f361