diff --git a/.unreleased/bug-fixes/converting-unit-types.md b/.unreleased/bug-fixes/converting-unit-types.md deleted file mode 100644 index 262ca8a2f9..0000000000 --- a/.unreleased/bug-fixes/converting-unit-types.md +++ /dev/null @@ -1 +0,0 @@ -Convert Quint empty tuples as uninterpreted types/values (#2869) diff --git a/CHANGES.md b/CHANGES.md index 59bd72204f..3c34f15fef 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 0.44.9 - 2024-03-21 + +### Bug fixes + +- Convert Quint empty tuples as uninterpreted types/values (#2869) + ## 0.44.8 - 2024-03-20 ### Bug fixes diff --git a/VERSION b/VERSION index f77f577308..141cd20fa9 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.9-SNAPSHOT +0.44.10-SNAPSHOT