diff --git a/webtools b/webtools
index 9e5d493a1..31a824791 160000
--- a/webtools
+++ b/webtools
@@ -1 +1 @@
-Subproject commit 9e5d493a15c68abc7d57a17b7911bdfe419650d3
+Subproject commit 31a824791576deed654a78bd2c11f907a310b6ef