From 9ff56238d93a9674e63630c4729bc2ba61bfccd9 Mon Sep 17 00:00:00 2001
From: Florian Thomas <fthomas@uni-mainz.de>
Date: Wed, 20 Sep 2023 22:19:45 +0200
Subject: [PATCH] Update hexbug

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

diff --git a/hercules/hexbug b/hercules/hexbug
index 80cfc10..b6f5251 160000
--- a/hercules/hexbug
+++ b/hercules/hexbug
@@ -1 +1 @@
-Subproject commit 80cfc103c3c89a1c38f732bfd02dc8e1cdf52891
+Subproject commit b6f5251d558476b6e8e01187f5a61f7ff4415ec9