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