Skip to content

Rollup of 10 pull requests#135893

Merged
bors merged 22 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-2qqo647
Jan 22, 2025
Merged

Rollup of 10 pull requests#135893
bors merged 22 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-2qqo647

Rollup merge of #135875 - BoxyUwU:enter_forall_no_copy, r=lcnr

e0b4ba3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs