Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index edc7505..a42f86e 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit edc750560c621273412f6512807838e93e6a274e
+Subproject commit a42f86e38b9c8b3496a74fc23ae5d3fda3ce0e2c