Update git submodules

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

diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index fdae148..1b31a1d 160000 (submodule)
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit fdae148d303b3153e2dec38d830d3784491b6f65
+Subproject commit 1b31a1d43b9be2938fde5639ab7aaea6262adc4f