Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 3ae49aa..10df99f 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 3ae49aa2258be96fca2ff34e4dc87dd0e0bae161
+Subproject commit 10df99f8ffc45b03f5557a30eec5bcc307503cc6