Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 7c18602..0acb4fc 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 7c18602deea3cd59158d6ae3a8894b10c55193a5
+Subproject commit 0acb4fcc133056f9fb401b6e23d70f6ec895302a