[release] 0.23.1

apalache-mc · Apr 11, 2022 · eec2386 · eec2386
1 parent 0072050
commit eec2386
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -0,0 +1,6 @@
+## 0.23.1
+
+### Bug fixes
+
+* Fix the generation of SMT instances with the `--debug` flag, see #1594
+* Fix symbolic link generation in 'make' on Windows, see #1596
diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -10,7 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Bug fixes
-
-* Fix the generation of SMT instances with the `--debug` flag, see #1594
-* Fix symbolic link generation in 'make' on Windows, see #1596
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.23.1-SNAPSHOT
+0.23.1