Update git submodules

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

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
index a738f33..012d897 160000 (submodule)
--- a/docs/submodules/portal.git
+++ b/docs/submodules/portal.git
@@ -1 +1 @@
-Subproject commit a738f3360784e22b7631fb241668aba552e1877e
+Subproject commit 012d8970a7e08b2397b7b90d0a293118e254b021