Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 627cb09..8580e52 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 627cb09a471e7e286ea06339d7c441c7f48c7d4f
+Subproject commit 8580e526c06037b4940e9f9ea20164b42c986f70