Updated git submodules
[doc.git] / docs / submodules / integration.git
index 6e71716..5dc2073 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 6e717168df39ef4bc00b095f3f3fe0ad18ffc581
+Subproject commit 5dc20735f510020fc422dac0a77a3c1e2dc3d470