Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 92d70d6..ef8e4d4 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 92d70d60528f966f624489e25377005e87e5f4e4
+Subproject commit ef8e4d4ff53903760cfe97a313223d4caa9635c3