mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Merge-request: IJ-MR-148080 Merged-by: Aleksandr Sorotskii <aleksandr.sorotskii@jetbrains.com> (cherry picked from commit 1ce2a48aebf3336199b12a79879f61af9e2bac7e) IJ-MR-148080 GitOrigin-RevId: b443e0289420e4f208bc6d80c2c8f2e82a515a60