[release] 0.30.7

apalache-mc · Apr 11, 2023 · bbf4486 · bbf4486
1 parent 737d787
commit bbf4486
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,5 @@
+## 0.30.7 - 2023-04-11
+
+### Bug fixes
+
+- Fix conversion of quint binding operators to support operator passed by name. See #2520.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.30.7-SNAPSHOT
+0.30.7