diff --git a/server/gobra b/server/gobra
index 5b178fc5..86529bc8 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit 5b178fc570f09661fba1ac1bc4e987fa39b68d23
+Subproject commit 86529bc8dad584447a4fd5914e640ece4b6cddec