Updated git submodules
[doc.git] / docs / submodules / integration.git
index dd42cd5..9c9d307 160000 (submodule)
@@ -1 +1 @@
-Subproject commit dd42cd54553f51e1aa6294d678b814ffed2b740e
+Subproject commit 9c9d307d217a85abdac6388af653844ca438095e