Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 1674474..a40c6f9 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 16744740bf14c659a97d01071adff775049e43d8
+Subproject commit a40c6f9beb5afd8be1847654fa814c2852ae4d1f