mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge-request: IJ-MR-178680 Merged-by: Nikolai Bogdanov <nikolai.bogdanov@jetbrains.com> (cherry picked from commit 33e6ab060c2be0bd2213dbc3ea07a54b0cf8baf9) IJ-MR-178680 GitOrigin-RevId: 53cbe56202d3586cda0d26260dc9c653422820f4