Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index e0a22c8..f788c3c 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit e0a22c8cc9e12438ce7c76447b569cc88441b4a5
+Subproject commit f788c3c61b108b58af8a6f99f4c4abb8e445c3e0