Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index e276ad3..8be1cc0 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit e276ad30dc38f55e06877df8fd0d3372534c8f47
+Subproject commit 8be1cc0ab124a5d01b7787b10e527033924d631b