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

Bumping clippy #1532

Merged
merged 1 commit into from
Jul 4, 2016
Merged

Bumping clippy #1532

merged 1 commit into from
Jul 4, 2016

Conversation

tomusdrw
Copy link
Collaborator

@tomusdrw tomusdrw commented Jul 4, 2016

No description provided.

@tomusdrw tomusdrw added the A0-pleasereview 🤓 Pull request needs code review. label Jul 4, 2016
@NikVolf NikVolf added A8-looksgood 🦄 Pull request is reviewed well. and removed A0-pleasereview 🤓 Pull request needs code review. labels Jul 4, 2016
@arkpar arkpar merged commit 5c438cc into master Jul 4, 2016
@tomusdrw tomusdrw deleted the bump-clippy branch July 8, 2016 13:19
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.

3 participants