Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index d8f9aac..cde4f9d 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit d8f9aac6779d1884d65c37cbcc2c7a87fc0d5ffb
+Subproject commit cde4f9d521b310be701fc76025697f1052a7c846