bors 06430e7af4 Auto merge of #4363 - phansch:fix_lint_deprecation, r=flip1995 ...

Update lint deprecation for tool lints

changelog: Allow tool lints (`clippy::*`) to be deprecated

Our lint deprecation previously didn't work for tool lints, because
`register_removed` was registering lints to be removed _without_ the
`clippy` prefix.

Fixes #4349

2019-08-14 11:37:10 +00:00

..

auxiliary

…

ui

Auto merge of #4363 - phansch:fix_lint_deprecation, r=flip1995

2019-08-14 11:37:10 +00:00

ui-toml

Update ui-toml tests

2019-08-14 09:58:00 +02:00

compile-test.rs

cargo fmt

2019-06-21 16:47:34 +02:00

dogfood.rs

Disable dogfood on windows for faster build time on travis

2019-07-14 15:21:50 +02:00

fmt.rs

Enable rustfmt tests

2019-07-28 06:45:23 +02:00

matches.rs

…

missing-test-files.rs

cargo fmt

2019-06-21 16:47:34 +02:00

needless_continue_helpers.rs

…

versioncheck.rs

…