Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 33d10dd..a6d3a0b 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 33d10dd35de6a80bf833a0c5470ee60dcdb19953
+Subproject commit a6d3a0bc546d86a723611f12d18642b599dd2a11