From efc6a788da1a97cb348221e96f1728ce20a83721 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Mon, 17 Apr 2023 14:42:11 +0000 Subject: [PATCH] [release] 0.30.8 --- RELEASE.md | 9 +++++++++ VERSION | 2 +- 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 RELEASE.md 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