Updated git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 4649f94..25f3524 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 4649f94baedd051ec58ffefd1a2116c559a6385c
+Subproject commit 25f3524c631d2c8ee0da3c07f87edf953ee0b53a