Update RELEASE_NOTES.md

Z3Prover · Jul 5, 2022 · 2cf0c81 · 2cf0c81
1 parent 2990b69
commit 2cf0c81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -23,7 +23,7 @@ Version 4.9.0
   At this point these functions are only exposed over the SMTLIB2 interface (and not programmatic API)
   maxdiff/mindiff on arrays are more likely to be deprecated
 - User Propagator: 
-  - Add functions and callbacks for external control over branching
+  - Add functions and callbacks for external control over branching thanks to Clemens Eisenhofer
   - A functioning dotnet API for the User Propagator 
     https://github.com/Z3Prover/z3/blob/master/src/api/dotnet/UserPropagator.cs
 - Java Script API