Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 62f7418..942aae2 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 62f7418c1ceee4dd213eb04d63d3bafecb9d0a72
+Subproject commit 942aae25af859316017e5de9c0a95db28208a88c