mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
Fixes IDEA-352510 False positive 'redundant cast' warning in switch GitOrigin-RevId: b31e6f906bebb9de15c82439006502cc8e01f76f
Fixes IDEA-352510 False positive 'redundant cast' warning in switch GitOrigin-RevId: b31e6f906bebb9de15c82439006502cc8e01f76f