diff --git a/server/gobra b/server/gobra
index be9d67d..41a583e 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit be9d67d7e146cd198c361b1f8cdefa0ca833e72e
+Subproject commit 41a583e6f22b11422ddad8a31f56b0312c4287ac