diff options
| author | Douglas Campos <qmx@qmx.me> | 2017-09-25 09:49:32 -0400 |
|---|---|---|
| committer | Douglas Campos <qmx@qmx.me> | 2017-09-25 09:51:51 -0400 |
| commit | 9d52cb2f84fe3e3c1a4a1945de8116d60290b05b (patch) | |
| tree | d56837d78f61f2eb87f081c2d18b05412f114216 | |
| parent | 043d873b322ff2b5acfe221e756ad090f71879b9 (diff) | |
those changes break miri, PR will be issued later
| -rw-r--r-- | src/tools/toolstate.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml index 707b316190d..3cc815ef34e 100644 --- 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" |