From db175b5b285c97096df415d62a3bef0bc60db735 Mon Sep 17 00:00:00 2001
From: Sven Heidemann <sven.heidemann@sh-edraft.de>
Date: Sat, 15 Jan 2022 18:59:32 +0100
Subject: [PATCH] Updated config

---
 src/gismo/config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gismo/config b/src/gismo/config
index 83fd51a..2d25643 160000
--- a/src/gismo/config
+++ b/src/gismo/config
@@ -1 +1 @@
-Subproject commit 83fd51adff8a99af2ef3456542901ec78d4e1946
+Subproject commit 2d25643aa1f0d2ec55f88b7b8f54be77f596dd5f