Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 4b4735f..1a1f15c 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 4b4735f68fd916c443f7a8c860e6f7623491408b
+Subproject commit 1a1f15c816e3d854a9b1ac9fb7de2512af0c3b23