Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 1440135..a7a2fed 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 14401350d3a2551da2d918ffe9ec3b1df79d8cfc
+Subproject commit a7a2fedb67c3607de80483749366681d339a4188