diff --git a/server/gobra b/server/gobra
index 91739fed..240ac44a 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit 91739fed49dede16361590fb9357edceb3d76f64
+Subproject commit 240ac44af5d6cdcd55081ece8eaa306deb55caaf