[release] 0.40.7

apalache-mc · Jul 6, 2023 · e4ec2f6 · e4ec2f6
1 parent f6bfe31
commit e4ec2f6
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,6 @@
+## 0.40.7 - 2023-07-06
+
+### Bug fixes
+
+- Fix a bug when translating certain Quint tuple types, see #2634
+- Fix a typing issue when translating Quint name expressions, see #2635
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.40.7-SNAPSHOT
+0.40.7