From ef276564d2dcbc55b3a0f2f10baf03f571a5c93e Mon Sep 17 00:00:00 2001 From: Sven Heidemann Date: Wed, 29 Jun 2022 18:17:03 +0200 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 2d25643..83fd51a 160000 --- a/src/gismo/config +++ b/src/gismo/config @@ -1 +1 @@ -Subproject commit 2d25643aa1f0d2ec55f88b7b8f54be77f596dd5f +Subproject commit 83fd51adff8a99af2ef3456542901ec78d4e1946