From 2f0dc9e3cac408619854f671fdefada7c835f903 Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Tue, 17 Sep 2024 19:00:16 +0200
Subject: [PATCH] Release v3.4.1 (updated Dafny to 4.8.1)

---
 CHANGELOG.md      | 4 ++++
 package-lock.json | 4 ++--
 package.json      | 3 ++-
 src/constants.ts  | 2 +-
 4 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1a5f082..ba8e99d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Release Notes
 
+## 3.4.1
+- Add Dafny 4.8.1
+- Extension is now published to OpenVSX registry as well
+
 ## 3.4.0
 - Export ExtensionRuntime (or LanguageClient) for other extensions (https://github.com/dafny-lang/ide-vscode/pull/483)
 - Add Dafny 4.8.0
diff --git a/package-lock.json b/package-lock.json
index 55ac12a..559494a 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "ide-vscode",
-  "version": "3.4.0",
+  "version": "3.4.1",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "ide-vscode",
-      "version": "3.4.0",
+      "version": "3.4.1",
       "license": "MIT",
       "dependencies": {
         "cross-fetch": "^3.1.5",
diff --git a/package.json b/package.json
index e01155a..b76377c 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "3.4.0",
+  "version": "3.4.1",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",
@@ -230,6 +230,7 @@
           "type": "string",
           "enum": [
             "latest stable release",
+            "4.8.1",
             "4.8.0",
             "4.7.0",
             "4.6.0",
diff --git a/src/constants.ts b/src/constants.ts
index fe25774..573cf0f 100644
--- a/src/constants.ts
+++ b/src/constants.ts
@@ -49,7 +49,7 @@ export namespace LanguageServerConstants {
   export const LatestStable = 'latest stable release';
   export const LatestNightly = 'latest nightly';
   export const Custom = 'custom';
-  export const LatestVersion = '4.8.0';
+  export const LatestVersion = '4.8.1';
   export const UnknownVersion = 'unknown';
   export const DafnyGitUrl = 'https://github.com/dafny-lang/dafny.git';
   export const DownloadBaseUri = 'https://github.com/dafny-lang/dafny/releases/download';