mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
Merge-request: IJ-MR-156125 Merged-by: Andrey Vokin <andrey.vokin@jetbrains.com> (cherry picked from commit f3a2bc86331013879716b6991da26307c63b10fc) IJ-MR-156125 GitOrigin-RevId: 10f0b3a8f60469af64bfd97613f258a282c9d0e2