v2.2.3

What's Changed

This is a release that contains a hot-fix for the vscoq-version-parser which allows us to use several lsp versions.
The aforementioned bug means we could not release 2.2.2. This version supersedes it.

The hotfix in question:

• version_parser: tolerate + in version numbers and never fail by @gares in #982

A fix was also added for finding vscoqtop path in windows.

• Replaced custom searchForVscoqtopInPath code with which by @cas-haaijman in #978

New Contributors

• @cas-haaijman made their first contribution in #978

Full Changelog: v2.2.2...v2.2.3