Skip to content

Fix bors missing a commit when merging #115355#115373

Merged
bors merged 1 commit into
rust-lang:masterfrom
lqd:come-on-bors
Aug 31, 2023
Merged

Fix bors missing a commit when merging #115355#115373
bors merged 1 commit into
rust-lang:masterfrom
lqd:come-on-bors

clean up `local_overflow_limit` computation

7272552
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs