Skip to content

coverage: Several small cleanups in spans#116754

Merged
bors merged 14 commits into
rust-lang:masterfrom
Zalathar:spans
Oct 17, 2023
Merged

coverage: Several small cleanups in spans#116754
bors merged 14 commits into
rust-lang:masterfrom
Zalathar:spans

coverage: Explain why we temporarily steal `pending_dups`

7aa1b83
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs