Update git submodules
[doc.git] / docs / submodules / portal.git
index 072c160..d17fae7 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 072c160a464ef27bf6fa16bde652e57e3218696d
+Subproject commit d17fae7d8aefbd439cb8dceee2d959b20870bc1d