Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index cefa92a..6e4256f 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit cefa92a7cb29a13aa09115a768672ac79020a9d6
+Subproject commit 6e4256fa4db190543ffd84a87b643c27d8591d54