From cdaa756c6d27c80546cb531af6fce0275ec82680 Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Fri, 3 Jan 2025 14:05:28 +0000 Subject: [PATCH] Add changelog --- .unreleased/breaking-changes/3057-z3.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 .unreleased/breaking-changes/3057-z3.md diff --git a/.unreleased/breaking-changes/3057-z3.md b/.unreleased/breaking-changes/3057-z3.md new file mode 100644 index 0000000000..342ccf1029 --- /dev/null +++ b/.unreleased/breaking-changes/3057-z3.md @@ -0,0 +1 @@ +Upgrade Z3 to 4.13.4 (restores linux/arm64 support), see #3057