mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
^KTIJ-29619 Fixed Merge-request: IJ-MR-138408 Merged-by: Dmitrii Krasnov <Dmitrii.Krasnov@jetbrains.com> GitOrigin-RevId: 6d5bfbe1d7b5092e5fe3fd1fb50fd512f1fc65e0