Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 30fde7d..5347a11 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 30fde7dffdeb16add93ff772c8e2e212cb6850e8
+Subproject commit 5347a112e9570c38491b5cfb80a1250530daddab