From 8eef4ef4c425857a1350889d90db582fa23291a3 Mon Sep 17 00:00:00 2001
From: Florian Thomas <fthomas@uni-mainz.de>
Date: Wed, 13 Sep 2023 01:24:46 +0200
Subject: [PATCH] Update hexbug

---
 hercules/hexbug | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hercules/hexbug b/hercules/hexbug
index 318b30f..e8c5afd 160000
--- a/hercules/hexbug
+++ b/hercules/hexbug
@@ -1 +1 @@
-Subproject commit 318b30f62b6ab3aecba77b95aa089a80f465e6ea
+Subproject commit e8c5afd9743a6115f29cec19d4ed3a8bc36b6de2