Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 3ffbaaa..8ec5f1f 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 3ffbaaa5bc90d3f79639c2747ff9f7b084fad577
+Subproject commit 8ec5f1f9d304399b65a52a94208220a31a38b9b9