diff --git a/server/gobra b/server/gobra
index 61d0bd91..ac593576 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit 61d0bd916d5c1b183110976e517303ca8ab88289
+Subproject commit ac59357695123ad47cbed04a06f106bde9c6d8b9