Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 78224cb..640613a 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 78224cb1fbc6052451ad1a759353cc6549b2f230
+Subproject commit 640613a13f41f18459eb46f3d5a4c0ff9e02773f