Update git submodules

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

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