v0.0.206
·
41 commits
to master
since this release
- Fix vscode-lean4 being broken on v4.21.0-rc1 due to an invalid semantic version reported by Lake (#618)