Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 42fac09..0722bf2 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 42fac09a9de610875a90e6eb8df58ea7b3c317f6
+Subproject commit 0722bf2fc95a1ccaabbc293dccc0d05ed0727b84