Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 05bee83..3d32183 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 05bee83afa43b3eb1eeff209592179436cb7dd0e
+Subproject commit 3d3218395011a8a7b1b1eea691362c1ee64c6d71