Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 3462e28..e496b1b 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 3462e289aec5880f3e2f2f23ce4b5f70160ba7f4
+Subproject commit e496b1b94a07e7995fefd8113c0fbe25953322ea