From 6c33c167c3e90e68c502ac53e26e0c76efd58f93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Fri, 16 Feb 2024 14:42:34 +0100
Subject: [PATCH] chore: release hermit 0.8.1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 hermit/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml
index 969605eea..21d1d0c40 100644
--- a/hermit/Cargo.toml
+++ b/hermit/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hermit"
-version = "0.8.0"
+version = "0.8.1"
 authors = [
     "Stefan Lankes <slankes@eonerc.rwth-aachen.de>",
     "Martin Kröning <mkroening@posteo.net>",