Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 39fb119..ffd9af9 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 39fb119cdaea6bd8d801b22d195db39f6d8faaca
+Subproject commit ffd9af970318c1f5a0bad46d7aad5d4611414aae