diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
index 76e8562..ce7c1e8 160000
--- a/docs/submodules/integration/devtool.git
+++ b/docs/submodules/integration/devtool.git
@@ -1 +1 @@
-Subproject commit 76e856209a5389cc12d6b063ed29f46664387d96
+Subproject commit ce7c1e8c8dde999a519287135b7ec1cd0b72d902