mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +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: 2d27e3033eeb79f3ae1c1c5eab546dec563905d5