Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 672b45b..ed2612f 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 672b45b653ef0e88b13c337e598307ad66931390
+Subproject commit ed2612f4e00d54ed2a3acd3ee935ac9c174c99e6