user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Auto merge of #45424 - petrochenkov:grlint, r=oli-obk

Browse source 
Add several lints into `unused` lint group

Also a couple of obsolete (not reported) lints are removed.

r? @oli-obk
This commit is contained in:
bors 2017-10-29 23:59:07 +00:00
commit dae6868637
22 changed files with 53 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/toolstate.toml
View file

@ -26,7 +26,7 @@
miri = "Broken"
# ping @Manishearth @llogiq @mcarton @oli-obk
clippy = "Compiling"
clippy = "Broken"
# ping @nrc
rls = "Testing"