Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 7235549..f7c3854 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 7235549c9a028b494cb21f3ed9c1087dd07f0036
+Subproject commit f7c38545270c8c2dda31466dffd40b21f17ecf28