Fix ticket 8442: detect unselectable switch cases - #8815
Merged
chrchr-github merged 4 commits intoSep 6, 2026
Merged
chrchr-github merged 4 commits into
chrchr-github merged 4 commits into
Commits
Commits on Aug 29, 2026
Commits on Aug 30, 2026
- committed