From 41ecfe741e4d1b04fa34ce7d652bfe4903455622 Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger@gmail.com>
Date: Wed, 7 Jun 2023 21:20:35 +0200
Subject: [PATCH] update Changelog for upcoming release.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 41e656115a..67b55c6ef2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,11 @@ SPDX-License-Identifier: Apache-2.0
 
 # JavaSMT ChangeLog
 
+## JavaSMT 4.0.2
+
+This patch release improves documentation and updates the dependency for our Yices2 component.
+We skip version 4.0.1 which was internally used for releasing the Yices2 component.
+
 ## JavaSMT 4.0.0
 
 This major release comes with several updated solvers and dependencies,