Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index d688c4c..ef0371c 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit d688c4c4e37526e276690b5b51d1044b7e220aff
+Subproject commit ef0371c50a1d1006f580f0392eeb42ce54f82446