Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 7c41c16..a3737ae 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 7c41c16ed62fef316f6e93faeb18bec350c5fbf5
+Subproject commit a3737ae0e71cc2658fd4a673cfa91001b03b3680