mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
Merge-request: IJ-MR-172033 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> (cherry picked from commit 76119033bb39c96d4fc1568d3c222bbfd76cd553) IJ-MR-172033 GitOrigin-RevId: 634ef39ba3ba60ad2282626c676953beca12aea6