Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 87c3c73..aea5a49 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 87c3c73130a15f3084a3576fad8fc0b941afb467
+Subproject commit aea5a492d4fb8982b36ea36a3495dea89ef0a09d