Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 0ef0143..4cc4266 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 0ef01433b433da7b1b3321ef789dea398720979a
+Subproject commit 4cc4266d10c59889098293c69dff2da6eb37a79e