From c2750ca1276903a34bec679b57ec2cdb8e5294e4 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Sun, 9 Jul 2023 17:43:00 +0200
Subject: [PATCH] Finally understood how to update the submodule.

---
 coloquinte | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coloquinte b/coloquinte
index 127cb783..97bb781b 160000
--- a/coloquinte
+++ b/coloquinte
@@ -1 +1 @@
-Subproject commit 127cb78333be711eccffb848d00aad7144e2f890
+Subproject commit 97bb781ba363303fd6b7254c717f621b137b89e3