Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 9386b0b..d00f623 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 9386b0b6fc7fea830c6e479a8505bde83fc8c881
+Subproject commit d00f623fcfd9d1cf0cf7178122095f552b13096c