Updated git submodules

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

diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
index be66121..0d41bc4 160000 (submodule)
--- a/docs/submodules/integration/devtool.git
+++ b/docs/submodules/integration/devtool.git
@@ -1 +1 @@
-Subproject commit be66121f520203c231fcb7b776f7223dfe92c9f1
+Subproject commit 0d41bc49d18ebf126faa9a709dbe59b2bccc8ee1