Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 00c05f6..12da044 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 00c05f6b9d09d719a172b6e943d98116b24aff15
+Subproject commit 12da0444565d4855e46e7f5c2f722c0715e1c4bc