Skip to content

clippy lints#182

Merged
jordens merged 2 commits intomasterfrom
feature/clippy-lints
Nov 30, 2020
Merged

clippy lints#182
jordens merged 2 commits intomasterfrom
feature/clippy-lints

Conversation

@jordens
Copy link
Member

@jordens jordens commented Nov 26, 2020

No description provided.

@jordens jordens requested a review from ryan-summers November 26, 2020 15:25
@jordens jordens force-pushed the feature/clippy-lints branch from 868d6df to 7fc6f5c Compare November 26, 2020 15:41
@jordens jordens merged commit 8ef6c06 into master Nov 30, 2020
@bors bors bot deleted the feature/clippy-lints branch November 30, 2020 11:57
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.

2 participants