diff --git a/.unreleased/features/timeout-smt.md b/.unreleased/features/timeout-smt.md
deleted file mode 100644
index dd27979cfb..0000000000
--- a/.unreleased/features/timeout-smt.md
+++ /dev/null
@@ -1 +0,0 @@
-Add `--timeout-smt` to limit SMT queries (#2936)
diff --git a/.unreleased/features/translate-generate.md b/.unreleased/features/translate-generate.md
deleted file mode 100644
index 326f24450d..0000000000
--- a/.unreleased/features/translate-generate.md
+++ /dev/null
@@ -1 +0,0 @@
-Translate Quint's generate into `Apalache!Gen` (#2916)
diff --git a/CHANGES.md b/CHANGES.md
index e370b63d49..50600d3433 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,13 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
  
+## 0.44.15 - 2024-08-14
+
+### Features
+
+- Translate Quint's generate into `Apalache!Gen` (#2916)
+- Add `--timeout-smt` to limit SMT queries (#2936)
+
 ## 0.44.11 - 2024-05-06
 
 ### Features
diff --git a/VERSION b/VERSION
index 93722f80fa..4291129cbd 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.44.12-SNAPSHOT
+0.44.16-SNAPSHOT