Updated git submodules
[doc.git] / docs / submodules / integration.git
index 8534458..53ef8bc 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 8534458b0fe4e9e87dad0e2c92ac17d989054403
+Subproject commit 53ef8bc5b456d4f9b157f84252202757771e5d2d