Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index f44b09b..e7a95ab 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit f44b09b30d206b4b714971fd38599e8c8697cad8
+Subproject commit e7a95ab1ad58e02df402c40910f41352562bd92d