Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Bump clippy #1982

Merged
merged 1 commit into from
Aug 23, 2016
Merged

Bump clippy #1982

merged 1 commit into from
Aug 23, 2016

Conversation

tomusdrw
Copy link
Collaborator

No description provided.

@tomusdrw tomusdrw added the A0-pleasereview 🤓 Pull request needs code review. label Aug 22, 2016
@coveralls
Copy link

Coverage Status

Coverage increased (+0.03%) to 86.92% when pulling 60f6f52 on bump-clippy into 880b7b8 on master.

@keorn keorn added A8-looksgood 🦄 Pull request is reviewed well. and removed A0-pleasereview 🤓 Pull request needs code review. labels Aug 22, 2016
@arkpar arkpar merged commit f4826d1 into master Aug 23, 2016
@tomusdrw tomusdrw deleted the bump-clippy branch August 24, 2016 10:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A8-looksgood 🦄 Pull request is reviewed well.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants