Release v3.2.1

dafny-lang · Oct 10, 2023 · f7b6745 · f7b6745
1 parent a40bbe8
commit f7b6745
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Release Notes
 
+## 3.2.1
+- fix: relax .NET runtime version check (https://github.com/dafny-lang/ide-vscode/pull/443)
+
 ## 3.2.0
 - Add Dafny 4.3.0
 - Update LSP client to 9.0.0 (https://github.com/dafny-lang/ide-vscode/pull/439)

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