Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index c2ebd5a..8856489 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit c2ebd5a44d02a2c7b38bda521b961f488e26bbfa
+Subproject commit 885648993b3b2a9e7d36ebfeb96c196674c32e78