Skip to content

Remove support for alias -Z instrument-coverage - #117111

Merged
bors merged 2 commits into
rust-lang:masterfrom
Zalathar:zinstrument
Oct 25, 2023
Merged

bors merged 2 commits into
rust-lang:masterfrom
Zalathar:zinstrument

Commits

Commits on Oct 25, 2023