Skip to content

Fix clippy warnings#580

Merged
gwenn merged 1 commit intokkawakam:masterfrom
gwenn:clippy
Dec 11, 2021
Merged

Fix clippy warnings#580
gwenn merged 1 commit intokkawakam:masterfrom
gwenn:clippy

Conversation

@gwenn
Copy link
Copy Markdown
Collaborator

@gwenn gwenn commented Dec 11, 2021

No description provided.

@gwenn gwenn merged commit 4ff19c0 into kkawakam:master Dec 11, 2021
@gwenn gwenn deleted the clippy branch December 11, 2021 10:40
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