Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index b90e14c..3e257f4 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit b90e14ca265fbecf60a8723dfdc603a28cca3e69
+Subproject commit 3e257f494571456425c7932b5f6f13035711acec