Manually update submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index a6d3a0b..7c2e7e2 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit a6d3a0bc546d86a723611f12d18642b599dd2a11
+Subproject commit 7c2e7e2dc9a82dda22929a586c5b10d089163b73