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

Bump clippy #1587

Merged
merged 2 commits into from
Jul 12, 2016
Merged

Bump clippy #1587

merged 2 commits into from
Jul 12, 2016

Conversation

tomusdrw
Copy link
Collaborator

No description provided.

@tomusdrw tomusdrw added the A0-pleasereview 🤓 Pull request needs code review. label Jul 11, 2016
@gavofyork gavofyork added A8-looksgood 🦄 Pull request is reviewed well. and removed A0-pleasereview 🤓 Pull request needs code review. labels Jul 12, 2016
@gavofyork gavofyork merged commit fbc0e00 into master Jul 12, 2016
@gavofyork gavofyork deleted the bump-clippy branch July 12, 2016 08:34
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.

2 participants