Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 9174ead..071b81c 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 9174eadc3cadf827669fc0999304b0221ff2349c
+Subproject commit 071b81cf985c482bb0a38ca1c96491feefd1ec13