Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 255dcfb..a738f33 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 255dcfbf8a0dfb7f5aa853d223425559411abf2a
+Subproject commit a738f3360784e22b7631fb241668aba552e1877e