Update git submodules
[doc.git] / docs / submodules / portal.git
index c0458c2..013c039 160000 (submodule)
@@ -1 +1 @@
-Subproject commit c0458c27e63febc5857409998b989e68d55e8da4
+Subproject commit 013c0393a92ef0c1475a97a112a78cd9ff1b5fc4