diff --git a/dot10 b/dot10
index 8386f3c1..25f2b32e 160000
--- a/dot10
+++ b/dot10
@@ -1 +1 @@
-Subproject commit 8386f3c1be15570ed652355e06c70c11e86a1247
+Subproject commit 25f2b32ed3e183d4ccc3798a2dc7f0497d711dbf