Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 995fd6e..7138060 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 995fd6e9bb0368ebbf87f38bd207c4a818443991
+Subproject commit 7138060f1d84cf233a56e72403ca19113a553a95