mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 459b07cdcfcb57d6e158576d0315f8c7fa01c119) NET-CR-16234 GitOrigin-RevId: e4fde9154781b2713b8a84562436bb13175e6241