mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
#IJPL-217571 Fixed (cherry picked from commit 1223710ec8cfed8465206f4fc7060e92a0dbc5b5) IJ-CR-182187 GitOrigin-RevId: e055cc59312f575680d29fefd9c2011b4fbb194b