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