Update git submodules
[doc.git] / docs / submodules / portal.git
index 6e50276..751a5e5 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 6e50276a42ab82cfe34ced9cf97e545283f37f2a
+Subproject commit 751a5e5776b4615c8d3333f7b7d37d17bbf775ba