Changed version to 2.1.1 to resolve release conflicts

dafny-lang · Dec 23, 2021 · c9fd41a · c9fd41a
1 parent ada86c4
commit c9fd41a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Release Notes
 
-## 2.1.0
+## 2.1.1
 
 - Changed the marketplace publisher to dafny-lang
 - Now marking ghost statements by default (requires Dafny 3.4.0+)

diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "2.1.0",
+  "version": "2.1.1",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",