Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 78ebb4b..547b44f 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 78ebb4b97b07f8649e1014abda48a4140ff5a76c
+Subproject commit 547b44f322fd0d2a2b2ad07cee1c38a9471842d3