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

Minor improvements #25

Merged
merged 1 commit into from
Dec 28, 2021
Merged

Minor improvements #25

merged 1 commit into from
Dec 28, 2021

Conversation

Bond-009
Copy link
Contributor

Fixes some clippy warnings and makes some code more idiomatic

Fixes some clippy warnings and makes some code more idiomatic
@tailhook
Copy link
Owner

Part of this was explicitly converted this way by another contributor: f00dbba

I'm okay with either way. But it's bad if we constantly change that forward and back.

Other that that, It looks fine.

@Bond-009
Copy link
Contributor Author

Bond-009 commented Dec 28, 2021

Looks like he changed them just like me (based on clippy warnings) and reverted them based on your comments.
#11 (comment)
#11 (comment)
In the end it's your choice, but in my opinion it's a smart move to listen to the official lints.

@tailhook tailhook merged commit 12ce6f5 into tailhook:master Dec 28, 2021
@tailhook
Copy link
Owner

Ah, sorry then. Merged!

@Bond-009 Bond-009 deleted the minor branch December 28, 2021 14:54
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