Skip to content

Commit

Permalink
Add changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
@thpani
thpani committed Jan 3, 2025
1 parent cae2215 commit cdaa756
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .unreleased/breaking-changes/3057-z3.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Upgrade Z3 to 4.13.4 (restores linux/arm64 support), see #3057

0 comments on commit cdaa756

Please sign in to comment.