Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 3d32183..a0c16db 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 3d3218395011a8a7b1b1eea691362c1ee64c6d71
+Subproject commit a0c16dba6a9bfc8cc698e6dc7dd89b77029d3d94