Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index df0edea..f1176da 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit df0edea0c75b1bd99f26779be7d7b60d5fcb3481
+Subproject commit f1176daf78a691d31a13b698d9401a20ce51c5b4