[release] 0.24.1

apalache-mc · Apr 25, 2022 · a604356 · a604356
1 parent 0e348cb
commit a604356
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 8 deletions.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -0,0 +1,9 @@
+## 0.24.1
+
+### Breaking changes
+
+ * Rename `--tuning` to `--tuning-options-file`, see #1579
+
+### Bug fixes
+
+ * Fix references to `--tune-here` (actually `--tuning-options`), see #1579
diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -10,10 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Breaking changes
-
- * Rename `--tuning` to `--tuning-options-file`, see #1579
-
-### Bug fixes
-
- * Fix references to `--tune-here` (actually `--tuning-options`), see #1579
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.24.1-SNAPSHOT
+0.24.1