Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 53e7159..d13dacf 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 53e7159c86e9c71b84ab570e1728a99dbfe4910a
+Subproject commit d13dacf060ff58d36f7d8995d185d78085bfd669