ack

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 23, 2022 · fbf9e30 · fbf9e30
1 parent fbfb28e
commit fbf9e30
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 ==============