Update git submodules

[doc.git] / docs / submodules / portal.git

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 9c75bfe..b771e1a 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 9c75bfe936c5deb4775ecef059d3fedbd5a96352
+Subproject commit b771e1ab3bc1a6c76c987d9c14fb3b77a338f155