Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 67a6c9b..4e232cb 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 67a6c9b464dd4666c55d0c5a11cfbd86375f98c5
+Subproject commit 4e232cb46def73cc1bcb845761f8cecc94c7ccbd