From 32ee0bd1bc4c5a61e2c62ac85923424b5ed50a7b Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Wed, 2 Oct 2024 15:06:49 +0200 Subject: [PATCH] add release notes --- .unreleased/breaking-changes/downgrade-z3.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 .unreleased/breaking-changes/downgrade-z3.md diff --git a/.unreleased/breaking-changes/downgrade-z3.md b/.unreleased/breaking-changes/downgrade-z3.md new file mode 100644 index 0000000000..c2d58933fc --- /dev/null +++ b/.unreleased/breaking-changes/downgrade-z3.md @@ -0,0 +1 @@ +Downgrade z3 to 4.12.6, due to instability of 4.13.0