diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..ce1fb2eca2 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,9 @@ +## 0.30.8 - 2023-04-17 + +### Features + +- Add support for converting quint record operators. See #2530. + +### Bug fixes + +- Fix conversion of quint `setBy` operator. See #2531. diff --git a/VERSION b/VERSION index 930eeb094d..473f1fb306 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.30.8-SNAPSHOT +0.30.8