Updated git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 55bac42..423f5f8 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 55bac427b18a6e37d6b09c4899b19b31cfa3d614
+Subproject commit 423f5f8baa977346ae990411ab4707777fd97a20