mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
^KTIJ-30915 Fixed Merge-request: IJ-MR-145945 Merged-by: Dmitrii Krasnov <Dmitrii.Krasnov@jetbrains.com> GitOrigin-RevId: cf7b84456300394682ef34e64c4f21bc85f699fc