Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 792b5d4..ab1c586 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 792b5d463eb37917926a5af64d46a0441b63eadf
+Subproject commit ab1c5867bd8e93d095a571e9337f0979a4ddd924