Release v3.5.2 (#545)

Author: MikaelMayer

CHANGELOG.md

@@ -1,5 +1,8 @@
 # Release Notes
 
+## 3.5.2
+- Fix architecture detection by using .NET runtime architecture instead of system architecture (https://github.com/dafny-lang/ide-vscode/pull/544)
+
 ## 3.5.1
 - Fix publish process for Linux systems without xdg-open (https://github.com/dafny-lang/ide-vscode/pull/541)
 - Update platform versions for Dafny >= 4.11 release downloads (https://github.com/dafny-lang/ide-vscode/pull/539)

package-lock.json

@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "3.5.1",
+  "version": "3.5.2",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",