Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index d0709b8..9e9fcf4 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit d0709b896d63f1312bfd322b9c0a1be0bf70d39a
+Subproject commit 9e9fcf4f63c42173187aa2518525e229b3f85a38