From 23bd8442127ad22f875279b62d0b0e68926a57bc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Jun 2025 07:17:34 -0700
Subject: [PATCH] Update RELEASE_NOTES.md

for bugfix release
---
 RELEASE_NOTES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 3ad838313..9c42a326c 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -7,6 +7,9 @@ Version 4.next
     - CDCL core for SMT queries. It extends the SAT engine with theory solver plugins.
   - add global incremental pre-processing for the legacy core.
 
+Version 4.15.2
+==============
+- #7690, #7691 - fix leak introduced in arithmetic solver.
 
 Version 4.15.1
 ==============