Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 22872dd..efb859d 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 22872ddddd3c4e3646a2d01d42b534fdea469b8d
+Subproject commit efb859d2581a42ea0de4d56646e89848e722c59e