diff options
| author | bors <bors@rust-lang.org> | 2020-09-16 18:13:36 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-09-16 18:13:36 +0000 |
| commit | 5e60497fb8625331afd01769141566f15a6a34aa (patch) | |
| tree | cb87e02edb3f46900d1e4a864d54bc3f823b0672 /clippy_lints/src/methods/bind_instead_of_map.rs | |
| parent | b08bbe50eac80607bd7e8a3d87d15cbf583ce989 (diff) | |
| parent | 79a0e5110a0168945d43e334e6dc0d12e0bc1487 (diff) | |
Auto merge of #6038 - mikerite:lint-5734, r=matthiaskrgr
Add `manual-strip` lint Add `manual-strip` lint. changelog: Add `manual-strip` lint
Diffstat (limited to 'clippy_lints/src/methods/bind_instead_of_map.rs')
0 files changed, 0 insertions, 0 deletions