diff options
| author | bors <bors@rust-lang.org> | 2017-10-29 23:59:07 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-10-29 23:59:07 +0000 |
| commit | dae686863792bca561a263ecd902e457488c55fc (patch) | |
| tree | 3bd440674cab97ef199b6e791266660d766c0bee /src/tools | |
| parent | 90ef3372e8ad74517eafa61e9494688c258b15ce (diff) | |
| parent | bf0cdb52f22df2eb6a510806fa32b05ab326a93e (diff) | |
Auto merge of #45424 - petrochenkov:grlint, r=oli-obk
Add several lints into `unused` lint group Also a couple of obsolete (not reported) lints are removed. r? @oli-obk
Diffstat (limited to 'src/tools')
| -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 e62597c5216..f1684f4c5ac 100644 --- a/src/tools/toolstate.toml +++ b/src/tools/toolstate.toml @@ -26,7 +26,7 @@ miri = "Broken" # ping @Manishearth @llogiq @mcarton @oli-obk -clippy = "Compiling" +clippy = "Broken" # ping @nrc rls = "Testing" |