Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 91625da..4074152 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 91625da3bd1581c14a5d32fc67065db0116fd545
+Subproject commit 40741524ce4371f6d1b0c4faef80018af405aac4