Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 4cc4266..0b30f1a 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 4cc4266d10c59889098293c69dff2da6eb37a79e
+Subproject commit 0b30f1ab3dd14953edab37cf7224a8673a6d0d0d