Updated git submodules
[doc.git] / docs / submodules / portal.git
index 5a5c1ff..c4fa171 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 5a5c1ff3ba2d3ede96c3ca35e5f18e406642833d
+Subproject commit c4fa171c0cc8f1e227f6042387fdd2c5b56bd2dd