Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 7e83545..7c5fc1b 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 7e8354540b4c6e6b9b97a1fa3121a48dfa394aae
+Subproject commit 7c5fc1b556b3310ea4d77bb44a22dcb9e02d8d55