Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 693c8dc..a4b2071 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 693c8dc345424e946b923eb7591ad92397fc1830
+Subproject commit a4b2071d6729922233e3e32085e6e9d43670b384