diff --git a/server/gobra b/server/gobra
index cd1dcfe..4899d72 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit cd1dcfe7e0106b3b3624a03319d743e316fba31e
+Subproject commit 4899d72ee575dfbff38c010cd9eb432fb8fe1fdd