Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 8be1cc0..072c160 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 8be1cc0ab124a5d01b7787b10e527033924d631b
+Subproject commit 072c160a464ef27bf6fa16bde652e57e3218696d