From 3f74f3e59acfba3b61c686af01a864962d44af97 Mon Sep 17 00:00:00 2001
From: Matthias Volk <volkm@users.noreply.github.com>
Date: Thu, 15 Jun 2023 20:03:16 +0200
Subject: [PATCH] Storm version 1.8.1 (#390)

---
 CHANGELOG.md  | 3 ++-
 version.cmake | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2f7a73528..f4c054df1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,7 +7,8 @@ The releases of major and minor versions contain an overview of changes since th
 
 Version 1.8.x
 -------------
-## Version 1.8.1
+
+## Version 1.8.1 (2023/06)
 - Workaround for issue with Boost >= 1.81
 
 ## Version 1.8.0 (2023/05)
diff --git a/version.cmake b/version.cmake
index d5b953439..c4c844edf 100644
--- a/version.cmake
+++ b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
 set(STORM_VERSION_MINOR 8)
-set(STORM_VERSION_PATCH 0)
+set(STORM_VERSION_PATCH 1)