Skip to content

make malformed early error clauses a soft error#433

Merged
bakkot merged 2 commits intomainfrom soft-lint-errorApr 2, 2022

Commits

Commits on Apr 2, 2022