Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 4027435..8b67487 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 4027435c28e1433df2476b83a6e77ba4d1d865bd
+Subproject commit 8b67487fa29e61ad15ac961231ebb3b6621d39dc