Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index e97570d..9c152c3 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit e97570dca9ddbfbb253f7c5b4f073b2dab071974
+Subproject commit 9c152c3c93793fb15e7ba9a311de4f3974f712fb