Skip to content

Conversation

@mcarton
Copy link
Contributor

@mcarton mcarton commented Jan 15, 2016

For information, here is the log before and after with Clippy.
The remaining warning can be considered a false positive here.

@BurntSushi
Copy link
Owner

I reverted #100, which means this PR unfortunately needs a rebase. These changes look good otherwise. I'll happily merge with a rebase!

@mcarton
Copy link
Contributor Author

mcarton commented Jan 27, 2016

@BurntSushi no problem. Done.

BurntSushi added a commit that referenced this pull request Jan 27, 2016
Cleanup some warnings from Clippy
@BurntSushi BurntSushi merged commit 3aaa75d into BurntSushi:master Jan 27, 2016
@BurntSushi
Copy link
Owner

Sweet! Thank you!

@mcarton mcarton deleted the clippy branch January 27, 2016 21:59
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