Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 5af24c8..ced5033 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 5af24c8c2d034f6d3ac7dc842934a041a76a405c
+Subproject commit ced503350203184b16f1835d6cc735f1a921ae11