From fbf9e3004f870749694c9f9c4494293f286a8959 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 23 Aug 2022 10:16:13 -0700
Subject: [PATCH] ack

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index ebf6ac296..cdde16323 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -13,7 +13,7 @@ Version 4.next
 Version 4.11.1
 ==============
 - add error handling to fromString method in JavaScript
-- fix regression in default parameters for CDCL.
+- fix regression in default parameters for CDCL (Nuno Lopes)
 
 Version 4.11.0
 ==============