those changes break miri, PR will be issued later

qmx · qmx · commit 9d52cb2f84fe · 2017-09-25T09:51:51.000-04:00
diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml
@@ -23,7 +23,7 @@
 # Each tool has a list of people to ping
 
 # ping @oli-obk @RalfJung @eddyb
-miri = "Testing"
+miri = "Broken"
 
 # ping @Manishearth @llogiq @mcarton @oli-obk
 clippy = "Broken"
