From 8c935cb59b34a22b0e6318f23c0c0c2ff5b08ff5 Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger@gmail.com>
Date: Sun, 21 Jan 2024 19:21:38 +0100
Subject: [PATCH] prepare release 4.1.1

---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8116d39cb5..0e0fabe348 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,10 @@ SPDX-License-Identifier: Apache-2.0
 
 # JavaSMT ChangeLog
 
+## JavaSMT 4.1.1
+
+This patch release brings small fixes for Z3 and MathSAT.
+
 ## JavaSMT 4.1.0
 
 This release brings support for the SMT solver OpenSMT (version 2.5.2).