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 dbe461f..07c12b8 160000 (submodule)
--- a/docs/submodules/integration/devtool.git
+++ b/docs/submodules/integration/devtool.git
@@ -1 +1 @@
-Subproject commit dbe461f185aeed76c1a63b5302ff9b0f20952df6
+Subproject commit 07c12b82b1b23d9c824a46e9c861f79ee5a6867c