Release v3.0.8
- Support for zero-commit updates (#365)
- Removed a space in README.md
./publish_process.jsnow accepts to publish a new version even if there was no added commit to the extension (e.g. to support a new version of Dafny by default)
./publish_process.js now accepts to publish a new version even if there was no added commit to the extension (e.g. to support a new version of Dafny by default)