Skip to content

Disable clippy & cleanup#52

Merged
yoshuawuyts merged 3 commits into
masterfrom
disable-clippy
Jan 27, 2020
Merged

Disable clippy & cleanup#52
yoshuawuyts merged 3 commits into
masterfrom
disable-clippy

Conversation

@yoshuawuyts

Copy link
Copy Markdown
Contributor

Follow-up to #51. Thanks!

@yoshuawuyts yoshuawuyts merged commit 2d08c46 into master Jan 27, 2020
@yoshuawuyts yoshuawuyts deleted the disable-clippy branch January 27, 2020 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant