PR #2023 Clear a couple of new clippy lints

Clear a couple of new clippy lints #2023

kinnison merged 1 commit into rust-lang:master from kinnison:kinnison/clippy-lints

Clear a couple of new clippy lints

8f1eb209

kinnison merged b1485b8c into master 6 years ago

kinnison deleted the kinnison/clippy-lints branch 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone