Skip to content

Commit

Permalink
Auto merge of #114938 - flip1995:clippy_backport, r=matthiaskrgr
Browse files Browse the repository at this point in the history
Clippy backport

r? `@Manishearth`

This is the accompanying PR to rust-lang/rust#114937. This needs to be merged before tomorrow, so that it gets into master, before beta is branched.

The second commit is pretty much an out-of cycle sync, so that we don't get backport-debt for next release cycle right away.

cc `@Mark-Simulacrum` also mentioning you here, to make sure this is included in the beta branching.
  • Loading branch information
bors committed Aug 18, 2023
2 parents 8e2b310 + f645a9b commit 35c56a6
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 35c56a6

Please sign in to comment.