diff --git a/dot10 b/dot10
index 7db0f778..31b036f1 160000
--- a/dot10
+++ b/dot10
@@ -1 +1 @@
-Subproject commit 7db0f778e9b3510f3c5271135eb6047ada3fd795
+Subproject commit 31b036f1956ce58fb065555ade3015685df751ec