Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 0d76f88..4fc947f 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 0d76f88fb3011bff21001df751b56c4bef6d20f5
+Subproject commit 4fc947f51190baf02435b02a3fd70bd2da40ec62