Skip to content

Remove wrong validation for switch names#3265

Merged
rgrinberg merged 4 commits intoocaml:masterfrom rgrinberg:fix-3264Mar 16, 2020

Commits

Commits on Mar 16, 2020