Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index d17fae7..30fde7d 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit d17fae7d8aefbd439cb8dceee2d959b20870bc1d
+Subproject commit 30fde7dffdeb16add93ff772c8e2e212cb6850e8