From 08bfe997932aed19c5a6a8879ca53535084f5615 Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas@informal.systems>
Date: Thu, 20 Jul 2023 18:03:47 +0200
Subject: [PATCH 1/2] [release] 0.41.0

---
 RELEASE.md | 5 +++++
 VERSION    | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 RELEASE.md

diff --git a/RELEASE.md b/RELEASE.md
new file mode 100644
index 0000000000..39bf001405
--- /dev/null
+++ b/RELEASE.md
@@ -0,0 +1,5 @@
+## 0.41.0 - 2023-07-20
+
+### Breaking changes
+
+- Fixed deserialization of large Quint integer values, see #2654
diff --git a/VERSION b/VERSION
index fb5f52ddf6..72a8a6313b 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.40.8-SNAPSHOT
+0.41.0

From 7fb73e175ef856c4f1d2891656fd8652b45bd6c4 Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas@informal.systems>
Date: Thu, 20 Jul 2023 18:03:57 +0200
Subject: [PATCH 2/2] Bump version to 0.41.1-SNAPSHOT

---
 .unreleased/breaking-changes/2654-quintint-bigint.md | 1 -
 CHANGES.md                                           | 6 ++++++
 RELEASE.md                                           | 5 -----
 VERSION                                              | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)
 delete mode 100644 .unreleased/breaking-changes/2654-quintint-bigint.md
 delete mode 100644 RELEASE.md

diff --git a/.unreleased/breaking-changes/2654-quintint-bigint.md b/.unreleased/breaking-changes/2654-quintint-bigint.md
deleted file mode 100644
index c9ba667293..0000000000
--- a/.unreleased/breaking-changes/2654-quintint-bigint.md
+++ /dev/null
@@ -1 +0,0 @@
-Fixed deserialization of large Quint integer values, see #2654
diff --git a/CHANGES.md b/CHANGES.md
index 240fed1602..d649905d1c 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,12 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
  
+## 0.41.0 - 2023-07-20
+
+### Breaking changes
+
+- Fixed deserialization of large Quint integer values, see #2654
+
 ## 0.40.7 - 2023-07-06
 
 ### Bug fixes
diff --git a/RELEASE.md b/RELEASE.md
deleted file mode 100644
index 39bf001405..0000000000
--- a/RELEASE.md
+++ /dev/null
@@ -1,5 +0,0 @@
-## 0.41.0 - 2023-07-20
-
-### Breaking changes
-
-- Fixed deserialization of large Quint integer values, see #2654
diff --git a/VERSION b/VERSION
index 72a8a6313b..1ef27a40a4 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.41.0
+0.41.1-SNAPSHOT