From 627ec1110d128ece6ea479afff67a83ff928f929 Mon Sep 17 00:00:00 2001
From: xlauko <xlauko@mail.muni.cz>
Date: Tue, 12 Mar 2024 20:22:45 +0100
Subject: [PATCH] gap: Update submodule.

---
 external/gap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/gap b/external/gap
index 1ea1cec399..0801d16b43 160000
--- a/external/gap
+++ b/external/gap
@@ -1 +1 @@
-Subproject commit 1ea1cec399bf807e2972cce0c56dc67bdf278c88
+Subproject commit 0801d16b43f36071db138845c517e83475c4e59a