mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-17 12:01:25 +07:00
Merge-request: IJ-MR-166082 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> (cherry picked from commit 447218b7df368ac1c8da7ca3b2d096ccceb93f69) (cherry picked from commit b0c146a9eebe689c974ab7bbeec1b80507e54652) IJ-MR-167734 GitOrigin-RevId: 22edfa0c5865d4ed8a8bae517ad91f48ad27c7c4