Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index f9ffb47..4be647d 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit f9ffb478e246e10f76f5a3c1abb6440c488de1e3
+Subproject commit 4be647d4375f5f49f5f4d3b415abb986fe6dc35b