Skip to content

Avoid unnecessary renumbering during borrowck - #116792

Merged
bors merged 1 commit into
rust-lang:masterfrom
JonasAlaif:renumber-fix
Oct 24, 2023
Merged

Avoid unnecessary renumbering during borrowck#116792
bors merged 1 commit into
rust-lang:masterfrom
JonasAlaif:renumber-fix

Avoid unnecessary renumbering

2bba98b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs