v0.0.211-pre

Pre-release

Pre-release

github-actions released this 21 Aug 08:47

· 10 commits to master since this release

22485cc

Fix a bug where the extension would issue 'Restart Server' notifications even when a config file was merely touched, not actually modified (#651)
Increase auto-completion delay (#654)

Assets 3