From dfc627021d12e6d0468e70b841f0687139b81a0e Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Fri, 28 Jun 2024 13:06:10 +0200
Subject: [PATCH] Changelog for BenchExec 3.23

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 23d1eb6a1..2912687e2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,6 +9,12 @@ SPDX-License-Identifier: Apache-2.0
 
 # BenchExec Changelog
 
+## BenchExec 3.23
+
+As announced previously, this release works only on Python 3.8 and newer!
+
+- Fix a potential crash for CPAchecker when using `/usr/bin/cpachecker`.
+
 ## BenchExec 3.22
 
 **This will be the last release of BenchExec to support Python 3.7.**