update Changelog for upcoming release

kfriedberger · kfriedberger · commit 67d40c81d4bc · 2024-09-14T13:52:43.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -10,6 +10,10 @@ SPDX-License-Identifier: Apache-2.0
 
 # JavaSMT ChangeLog
 
+## JavaSMT 5.0.1
+
+This patch release improves documentation and brings smaller improvements for CVC5.
+
 ## JavaSMT 5.0.0
 
 This major release brings support for the SMT solver Bitwuzla (version 0.4.0), some bugfixes,
