Skip to content

Rollup of 10 pull requests#149941

Merged
bors merged 27 commits into
rust-lang:mainfrom
jhpratt:rollup-9p1xc2t
Dec 13, 2025
Merged

Rollup of 10 pull requests#149941
bors merged 27 commits into
rust-lang:mainfrom
jhpratt:rollup-9p1xc2t

Rollup merge of #149924 - JamieCunliffe:inline-lint-unknown, r=davidtwco

3eba6b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view