mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 18:06:58 +07:00
safer it would be to return array.clone() but there is a suspicion that it would to too expensive GitOrigin-RevId: 9fd84fa2c3ff2d1d982d5747ec0f8f22fa220d5c