Skip to content
This repository has been archived by the owner on Jan 30, 2024. It is now read-only.

Fix clippy warnings #244

Merged
merged 2 commits into from
Aug 2, 2021
Merged

Fix clippy warnings #244

merged 2 commits into from
Aug 2, 2021

Conversation

justahero
Copy link
Contributor

No description provided.

@justahero
Copy link
Contributor Author

bors r+

@bors
Copy link
Contributor

bors bot commented Aug 2, 2021

Build succeeded:

@bors bors bot merged commit 7dedeec into main Aug 2, 2021
@bors bors bot deleted the fix-clippy-warnings branch August 2, 2021 10:02
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant