From 1443dc2b316de35910d2b33294dcbd6fcf404337 Mon Sep 17 00:00:00 2001
From: ArquintL <ArquintL@users.noreply.github.com>
Date: Fri, 1 Dec 2023 06:04:41 +0000
Subject: [PATCH 1/2] Updates submodules

---
 server/gobra | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/gobra b/server/gobra
index 91739fed..9f38d64d 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit 91739fed49dede16361590fb9357edceb3d76f64
+Subproject commit 9f38d64dc4dbc0dcad2de5d333200a8fd92bcb9d

From 1c3812d05aee54ab4b1cd8b2ee2feb13b5e9783f Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Tue, 5 Dec 2023 11:20:53 +0100
Subject: [PATCH 2/2] updates Gobra

---
 server/gobra | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/gobra b/server/gobra
index 9f38d64d..4dc33c6b 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit 9f38d64dc4dbc0dcad2de5d333200a8fd92bcb9d
+Subproject commit 4dc33c6b7ab1804bb4e366de935a35c6ad0dc131