Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index cd98ec0..f717072 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit cd98ec039314de7994eb9b739b1618beb9c77cfa
+Subproject commit f71707238ebabd9911277af55673b1d42ac1495f