Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index 6026306..e08934d 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit 602630618626d0ca1fd5fe6ac4f3347029bfd4c7
+Subproject commit e08934d7ee33d6a22ce746e6e9a2270d87115345