Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index bededf3..0a915d3 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit bededf38c6042a15c58c2263560157bff0dc225b
+Subproject commit 0a915d3856f651e53230481c25247be36bf3c021