From 15ad96d3defa68f5ba07589d139fa455aa968243 Mon Sep 17 00:00:00 2001
From: Igor Konnov <igor@konnov.phd>
Date: Wed, 18 Sep 2024 19:56:43 +0200
Subject: [PATCH] add release notes

---
 .unreleased/features/z3-stats.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .unreleased/features/z3-stats.md

diff --git a/.unreleased/features/z3-stats.md b/.unreleased/features/z3-stats.md
new file mode 100644
index 0000000000..a3011f003a
--- /dev/null
+++ b/.unreleased/features/z3-stats.md
@@ -0,0 +1 @@
+Periodically print Z3 statistics when `--debug` is on (#2992)