Skip to content

Fix a few miscellaneous clippy lints.#261

Merged
sunfishcode merged 2 commits into
mainfrom
sunfishcode/clippy
Jun 22, 2022
Merged

Fix a few miscellaneous clippy lints.#261
sunfishcode merged 2 commits into
mainfrom
sunfishcode/clippy

Conversation

@sunfishcode
Copy link
Copy Markdown
Member

No description provided.

@sunfishcode sunfishcode merged commit 2f74566 into main Jun 22, 2022
@sunfishcode sunfishcode deleted the sunfishcode/clippy branch June 22, 2022 12:50
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