From 609916dad109d7e26f9178daa64a424676be7520 Mon Sep 17 00:00:00 2001
From: Parva Shah <prvshah@amazon.com>
Date: Mon, 23 May 2022 15:31:34 -0400
Subject: [PATCH] Bumping the ide-vscode version to 2.4.0

---
 CHANGELOG.md | 8 ++++++++
 package.json | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d05ffe6f..d033b686 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Release Notes
 
+## 2.4.0
+
+- Update Dafny and language server to [v3.6.0](https://github.com/dafny-lang/dafny/releases/tag/v3.6.0)
+- Fix issue related to Dafny installation on OSX M1 architectures
+- Fix not sending obsolete notification to user
+- Fix: Nested comments now displayed correctly
+- Feat: Verification gutter icons
+
 ## 2.3.0
 
 - Update Dafny and language server to [v3.5.0](https://github.com/dafny-lang/dafny/releases/tag/v3.5.0)
diff --git a/package.json b/package.json
index 6aaf9fcd..5df08b30 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "2.3.0",
+  "version": "2.4.0",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",