Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 983c2d5..5e84a93 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 983c2d568a873060c046598daeebe481d043fb7a
+Subproject commit 5e84a934dd7895af58af39d8352263ec8f19feeb