Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 4e232cb..aa0c987 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 4e232cb46def73cc1bcb845761f8cecc94c7ccbd
+Subproject commit aa0c9877eda0d96f0765c89c3e54a563ea583f52