Closed mcarton closed 8 years ago
For information, here is the log before and after with Clippy. The remaining warning can be considered a false positive here.
I reverted #100, which means this PR unfortunately needs a rebase. These changes look good otherwise. I'll happily merge with a rebase!
@BurntSushi no problem. Done.
Sweet! Thank you!
For information, here is the log before and after with Clippy. The remaining warning can be considered a false positive here.