Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

lzma: fix clippy warnings #57

Merged
merged 1 commit into from
Jul 31, 2020
Merged

lzma: fix clippy warnings #57

merged 1 commit into from
Jul 31, 2020

Conversation

lucab
Copy link
Contributor

@lucab lucab commented Jul 25, 2020

This fixes all linting warnings that were introduced on latest clippy.

@lucab lucab mentioned this pull request Jul 25, 2020
2 tasks
@lucab
Copy link
Contributor Author

lucab commented Jul 29, 2020

@gendx gentle ping for a review.

Copy link
Owner

@gendx gendx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi @lucab, sorry for the delay, I was quite busy this week.

+1 for fixing the new Clippy warnings. Thanks for your help ;)

-1 for pinning a specific Clippy version, as we will forget to upgrade it, and miss new interesting lints in the future. We can always fix new lint errors as they come in the future - I don't think it's breaking that often. Unless Travis' stable is lagging behind the latest Rust stable, can you leave rust: stable in the configuration?

This fixes all linting warnings that were introduced on latest clippy.
@lucab
Copy link
Contributor Author

lucab commented Jul 31, 2020

Amended.
I hope I didn't put additional pressure on your already busy days, and thanks for maintaining this!

@gendx gendx merged commit 806c235 into gendx:master Jul 31, 2020
@lucab lucab deleted the ups/clippy-fix branch July 31, 2020 08:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants