diff --git a/server/gobra b/server/gobra
index a205f7b5..fb7746d2 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit a205f7b5a8422696a792b7f1504f1eb33668905a
+Subproject commit fb7746d2ec5237e867e991b80829a1750f388c8b