Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 794a397..7084911 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 794a3978adeb7616f79dfe96e0bc7fe3bc2170fb
+Subproject commit 708491160f17f5e7f985bce9a3e5becc0980e03d