Merge pull request #983 from coq/bump-version

Bump version for hotfix
coq · Jan 15, 2025 · 34ead82 · 34ead82
2 parents 22870e9 + 93210c1
commit 34ead82
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/client/package.json b/client/package.json
@@ -4,7 +4,7 @@
   "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
   "publisher": "maximedenes",
   "license": "MIT",
-  "version": "2.2.2",
+  "version": "2.2.3",
   "repository": {
     "type": "git",
     "url": "https://github.com/coq-community/vscoq.git"

diff --git a/client/src/utilities/versioning.ts b/client/src/utilities/versioning.ts
@@ -43,6 +43,7 @@ const versionRequirements : VersionReq = {
     '2.2.0': '2.1.7',
     '2.2.1': '2.2.1',
     '2.2.2': '2.2.2',
+    '2.2.3': '2.2.2'
 };
 
 //We will add version ranges as we start releasing

diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
@@ -52,7 +52,7 @@ let conf_request_id = max_int
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vscoq-language-server"
-  ~version:"2.2.2"
+  ~version:"2.2.3"
   ()
 
 type lsp_event =