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

Fixed minor clippy. #410

Merged
merged 1 commit into from
Sep 16, 2021
Merged

Fixed minor clippy. #410

merged 1 commit into from
Sep 16, 2021

Conversation

jorgecarleitao
Copy link
Owner

No description provided.

@jorgecarleitao jorgecarleitao merged commit d80090d into main Sep 16, 2021
@jorgecarleitao jorgecarleitao deleted the clippy branch September 16, 2021 04:25
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.

1 participant