Skip to content

Fix miscellaneous clippy lints.#893

Merged
sunfishcode merged 2 commits intomainfrom
sunfishcode/clippy
Oct 24, 2023
Merged

Fix miscellaneous clippy lints.#893
sunfishcode merged 2 commits intomainfrom
sunfishcode/clippy

Conversation

@sunfishcode
Copy link
Member

No description provided.

@sunfishcode sunfishcode force-pushed the sunfishcode/clippy branch 6 times, most recently from 2ddda31 to 9c2a2c8 Compare October 24, 2023 15:40
@sunfishcode sunfishcode merged commit 3f338d8 into main Oct 24, 2023
@sunfishcode sunfishcode deleted the sunfishcode/clippy branch October 24, 2023 16:16
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