From 488e09d2f19b73565f3e6a7689511a355bb74b45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
<martin.kroening@eonerc.rwth-aachen.de>
Date: Thu, 30 Nov 2023 20:51:23 +0100
Subject: [PATCH] chore: release hermit-rs 0.7.2
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 e33d409a..6672f214 100644
--- a/hermit/Cargo.toml
+++ b/hermit/Cargo.toml
@@ -1,6 +1,6 @@
[package]
name = "hermit"
-version = "0.7.1"
+version = "0.7.2"
authors = [
"Stefan Lankes <slankes@eonerc.rwth-aachen.de>",
"Martin Kröning <mkroening@posteo.net>",
--
GitLab