From 0e6a5216ae5655fed309e7129ac5fac5df2f8388 Mon Sep 17 00:00:00 2001
From: Florian Thomas <fthomas@uni-mainz.de>
Date: Wed, 20 Sep 2023 15:52:51 +0200
Subject: [PATCH] Update hexbug

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

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