Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 90c0170..c1b4bda 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 90c0170b659c54dd1e3099f18473de476bbe6a09
+Subproject commit c1b4bda513cf2b2422389cd7f93ce40f947cc710