mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Merge-request: IJ-MR-158982 Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com> (cherry picked from commit 57f9a497e788f274ba20ccc95ddc07cb88f9c744) IJ-MR-158982 GitOrigin-RevId: 2abea522a3ca869f49a7f22d73f13194992ad4f1