mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:47:40 +07:00
(cherry picked from commit 1687c957b4090b88e003e34c2566fa96fd15cafa) IJPF-CR-25154 GitOrigin-RevId: 9833086b74aa951257bad91e9719b61f5eaaae29