Skip to content

Make clippy happy#316

Merged
brettcannon merged 4 commits intomainfrom
make-clippy-happy
Aug 30, 2023
Merged

Make clippy happy#316
brettcannon merged 4 commits intomainfrom
make-clippy-happy

Conversation

@brettcannon
Copy link
Copy Markdown
Owner

No description provided.

@brettcannon brettcannon added the impact-maintenance Maintenance of the code/project label Aug 30, 2023
@brettcannon brettcannon self-assigned this Aug 30, 2023
@brettcannon brettcannon merged commit 1c460d2 into main Aug 30, 2023
@brettcannon brettcannon deleted the make-clippy-happy branch August 30, 2023 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

impact-maintenance Maintenance of the code/project

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant