diff --git a/client/package.json b/client/package.json
index 5eab0f09..61b156ce 100644
--- 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.1.1",
+  "version": "2.1.2",
   "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
index f098f237..795f2f2c 100644
--- a/client/src/utilities/versioning.ts
+++ b/client/src/utilities/versioning.ts
@@ -34,7 +34,8 @@ const versionRequirements : VersionReq = {
     '2.0.2': '2.0.0', 
     '2.0.3': '2.0.3',
     '2.1.0': '2.0.3',
-    '2.1.1': '2.1.1'
+    '2.1.1': '2.1.1',
+    '2.1.2': '2.1.2',
 };
 
 //We will add version ranges as we start releasing
diff --git a/flake.nix b/flake.nix
index 04ac3aa4..ee0727c9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -13,7 +13,7 @@
   outputs = { self, nixpkgs, flake-utils, coq-master }:
     flake-utils.lib.eachDefaultSystem (system:
   
-   let vscoq_version = "2.1.1"; in
+   let vscoq_version = "2.1.2"; in
    let coq = coq-master.defaultPackage.${system}; in
    rec {
 
diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
index d55c9e00..e0c4f59e 100644
--- a/language-server/vscoqtop/lspManager.ml
+++ b/language-server/vscoqtop/lspManager.ml
@@ -44,7 +44,7 @@ let conf_request_id = max_int
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vscoq-language-server"
-  ~version:"2.1.1"
+  ~version:"2.1.2"
   ()
 
 type lsp_event =