mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Fixes RIDER-128049 (cherry picked from commit 14c2c4d16cec3487e077b7e3a17c5c89d7c516b5) NET-CR-16984 GitOrigin-RevId: baeed9b5109e83e35a347bef96b9448626f88d1d