Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index be53989..c47ea58 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit be539894f21c8dea9e82fbfbeb3efa3d6b315e05
+Subproject commit c47ea589f9d89d6b57aae48149a5a67b5bf6c953