Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 6a4a349..ec4eb9c 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 6a4a349a1be3ad5460e507dc4e2098936fd23859
+Subproject commit ec4eb9c7b9bed3bd5cc01ea127632d637b738cbc