Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 881d219..e1356d7 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 881d219f34ba287e24ce74402e2c56dcbdd49991
+Subproject commit e1356d767afc0510ed174992a9de2112faa35faf