diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml
index e33d409a53aadbfb41b896f61ebb69963aa86be3..6672f214fde96aefffa5af5a2faf08bd9c45aa87 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>",