Skip to content

Apply Clippy again#139

Merged
mgeisler merged 1 commit into
masterfrom
more-clippy
Sep 11, 2023
Merged

Apply Clippy again#139
mgeisler merged 1 commit into
masterfrom
more-clippy

Conversation

@mgeisler
Copy link
Copy Markdown
Owner

Due to rust-lang/rust-clippy#11470, some format strings were not inlined in #135. Running Clippy with a stable compiler fixes the problem.

Due to rust-lang/rust-clippy#11470, some
format strings were not inlined in #135. Running Clippy with a stable
compiler fixes the problem.
@mgeisler mgeisler enabled auto-merge September 11, 2023 06:32
@mgeisler mgeisler merged commit d0cb3cb into master Sep 11, 2023
@mgeisler mgeisler deleted the more-clippy branch September 11, 2023 06:34
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