diff --git a/CHANGES.md b/CHANGES.md
index e523bc2b40..71e1d6428d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,10 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
  
+## 0.46.0 - 2024-08-19
+
+- Technical bump to make the release process work
+
 ## 0.45.0 - 2024-08-17
 
 ### Features
@@ -1297,4 +1301,4 @@
 
 ## 0.3.0 [RELEASE]
 
- * the version presented at the TLA+ community meeting 2018 in Oxford
\ No newline at end of file
+ * the version presented at the TLA+ community meeting 2018 in Oxford
diff --git a/VERSION b/VERSION
index 630d1052de..19d582b1c3 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.45.1-SNAPSHOT
+0.46.1-SNAPSHOT