mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
Merge-request: IJ-MR-156322 Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com> (cherry picked from commit 1a049f52b4dfbdc86bd640a0cd547ead73a6af43) IJ-MR-156322 GitOrigin-RevId: 0cff70d5f4c48b1af3807f38a8d1e18de8049acd