Skip to content

Small clippy fix#524

Merged
andygrove merged 1 commit into
apache:mainfrom
andygrove:clippy-fix
Oct 21, 2023
Merged

Small clippy fix#524
andygrove merged 1 commit into
apache:mainfrom
andygrove:clippy-fix

Conversation

@andygrove
Copy link
Copy Markdown
Member

Which issue does this PR close?

N/A

Rationale for this change

I ran clippy locally with Rust 1.73 and this change was suggested.

What changes are included in this PR?

Are there any user-facing changes?

@andygrove andygrove merged commit d7fcea2 into apache:main Oct 21, 2023
@andygrove andygrove deleted the clippy-fix branch October 21, 2023 17:21
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