From 6813d710f2586df7665bd7e73192bfc12b759d93 Mon Sep 17 00:00:00 2001
From: Julie Kirsch <julie.kirsch@pt.lu>
Date: Tue, 10 Dec 2024 20:53:46 +0100
Subject: [PATCH] fix3

---
 book/external/Sphinx-Grasple-public | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book/external/Sphinx-Grasple-public b/book/external/Sphinx-Grasple-public
index c29b4a0..7a1d17c 160000
--- a/book/external/Sphinx-Grasple-public
+++ b/book/external/Sphinx-Grasple-public
@@ -1 +1 @@
-Subproject commit c29b4a03351c88fa5cdd09475f99a1b486a0e247
+Subproject commit 7a1d17cfc82548ec2780edf420bea4f9a2066ede