Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(clippy): fix clippy box default warning #980

Merged
merged 1 commit into from
Dec 19, 2022
Merged

Conversation

Alex6323
Copy link
Collaborator

No description provided.

@Alex6323 Alex6323 added the ez Minor pull requests that should be fast-tracked label Dec 16, 2022
@grtlr grtlr merged commit 774d76b into main Dec 19, 2022
@grtlr grtlr deleted the fix/clippy/box-default branch December 19, 2022 07:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ez Minor pull requests that should be fast-tracked
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants