Auto merge of #4109 - Manishearth:backport-merge, r=phansch

Merge backport branches into master

Attempt 2 at https://github.com/rust-lang/rust-clippy/pull/4103

This does nothing to the code, however it keeps the backport branches in master history, so that deleting a branch won't accidentally break old rustc builds
This commit is contained in:
bors 2019-05-19 11:13:40 +00:00
commit 0331b95718

Diff Content Not Available