From 392252c75da23ada73f7d41e8211a8219ba4a61b Mon Sep 17 00:00:00 2001 From: shonfeder Date: Fri, 1 Dec 2023 12:51:31 +0000 Subject: [PATCH 1/2] [release] 0.44.1 --- RELEASE.md | 5 +++++ VERSION | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 RELEASE.md diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..bcfcb9e096 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,5 @@ +## 0.44.1 - 2023-12-01 + +### Bug fixes + +- Fix truncation of SMT debug logs, see #2785 diff --git a/VERSION b/VERSION index 53795ac699..73f8a5ac92 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.1-SNAPSHOT +0.44.1 From c2f433ef6c7994a1c92c2ece9c1a7e3e56310913 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Fri, 1 Dec 2023 12:51:39 +0000 Subject: [PATCH 2/2] Bump version to 0.44.2-SNAPSHOT --- .unreleased/bug-fixes/2785-rewriter-disposal.md | 1 - CHANGES.md | 6 ++++++ RELEASE.md | 5 ----- VERSION | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) delete mode 100644 .unreleased/bug-fixes/2785-rewriter-disposal.md delete mode 100644 RELEASE.md diff --git a/.unreleased/bug-fixes/2785-rewriter-disposal.md b/.unreleased/bug-fixes/2785-rewriter-disposal.md deleted file mode 100644 index 22a679676c..0000000000 --- a/.unreleased/bug-fixes/2785-rewriter-disposal.md +++ /dev/null @@ -1 +0,0 @@ -Fix truncation of SMT debug logs, see #2785 diff --git a/CHANGES.md b/CHANGES.md index 999c619430..5b8bf113bb 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 0.44.1 - 2023-12-01 + +### Bug fixes + +- Fix truncation of SMT debug logs, see #2785 + ## 0.44.0 - 2023-10-23 ### Breaking changes diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index bcfcb9e096..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,5 +0,0 @@ -## 0.44.1 - 2023-12-01 - -### Bug fixes - -- Fix truncation of SMT debug logs, see #2785 diff --git a/VERSION b/VERSION index 73f8a5ac92..5aa433c085 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.1 +0.44.2-SNAPSHOT