Updated git submodules

[doc.git] / docs / submodules / integration.git

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index bb7d13c..9f8434f 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit bb7d13cde357be1e72243ad380b111f5ed72ee1e
+Subproject commit 9f8434f582bbc87d0299d4b4d94c93e20b400a94