mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
Merge-request: IJ-MR-139501 Merged-by: Andrey Vorobev <Andrey.Vorobev@jetbrains.com> GitOrigin-RevId: cb4528978aa1dfb163066334cdf8ab723565fb7c