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
 ==============