From f120b32b4d408dd000750611e2e29a2155a4bcad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
<martin.kroening@eonerc.rwth-aachen.de>
Date: Sat, 18 Jan 2025 18:42:17 +0100
Subject: [PATCH] chore: release hermit 0.10.0
---
hermit/Cargo.toml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml
index 55d10ccb..d1c872e9 100644
--- a/hermit/Cargo.toml
+++ b/hermit/Cargo.toml
@@ -1,6 +1,6 @@
[package]
name = "hermit"
-version = "0.9.1"
+version = "0.10.0"
authors = [
"Stefan Lankes <slankes@eonerc.rwth-aachen.de>",
"Martin Kröning <mkroening@posteo.net>",
--
GitLab