Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 48fe619..d5ac014 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 48fe6195a55765b92983000d7fb1820fe0760ded
+Subproject commit d5ac0141f1d44c00363c8fb312757997d611a252