mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit b3dbde6da42b865f1173c372c366bf86206494cd) NET-CR-15987 GitOrigin-RevId: 77f4d23a61c0c9d801812cc855545e251d85e59d