Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 049202b..8c7373d 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 049202bf4fa1b9d3ccd6a83fa00c8e87ce4ebe04
+Subproject commit 8c7373d8c5c432bc0aca3c508edc2948659f3136