diff --git a/dot10 b/dot10
index 6f1b6a58..9d725f97 160000
--- a/dot10
+++ b/dot10
@@ -1 +1 @@
-Subproject commit 6f1b6a586846b47b88bc519d60608275c64e9717
+Subproject commit 9d725f9717558c92f3f1e725b62594835eac3602