mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-11 11:36:59 +07:00
- class, which has permitted list, doesn't have `sealed` modifier, process this class as sealed GitOrigin-RevId: afaccb6f6479c90ad431b9300a586854e89ea204