]> git.lizzy.rs Git - rust.git/commit
Auto merge of #45424 - petrochenkov:grlint, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 29 Oct 2017 23:59:07 +0000 (23:59 +0000)
committerbors <bors@rust-lang.org>
Sun, 29 Oct 2017 23:59:07 +0000 (23:59 +0000)
commitdae686863792bca561a263ecd902e457488c55fc
tree3bd440674cab97ef199b6e791266660d766c0bee
parent90ef3372e8ad74517eafa61e9494688c258b15ce
parentbf0cdb52f22df2eb6a510806fa32b05ab326a93e
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
src/tools/toolstate.toml