Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 9c5ca23..9eaffe8 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 9c5ca23557b2bebef4da3c0fac004eae0d70f32c
+Subproject commit 9eaffe830b33e6405797596d991c7f49fe615a9b