Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index bad325e..1d313be 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit bad325eb02edc5ac00e45d15cc9a3f9dcf5aadc5
+Subproject commit 1d313be98083464b7674a54d5e1f93cad44d4417