mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
Merge-request: IJ-MR-171620 Merged-by: Morgan Bartholomew <morgan.bartholomew@jetbrains.com> (cherry picked from commit d9b13a99bad56a112f04febfc939823397b55ddd) GitOrigin-RevId: a03b56b8c3ea58455af5100e59eab310776e063d