Skip to content
This repository was archived by the owner on Dec 29, 2022. It is now read-only.

Update clippy #770

Closed
wants to merge 1 commit into from
Closed

Update clippy #770

wants to merge 1 commit into from

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Mar 16, 2018

No description provided.

@oli-obk oli-obk closed this Mar 16, 2018
@wmorgue
Copy link
Contributor

wmorgue commented Mar 16, 2018

cc @oli-obk #768

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants