Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 5683ee1..3a12c79 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 5683ee11aaa1cd71caa0bb68d74c802c111b831e
+Subproject commit 3a12c790a0b743c2a50345515d6d505979a158a5