Skip to content

The value of -Cinstrument-coverage= doesn't need to be Option#117207

Merged
bors merged 1 commit intorust-lang:masterfrom
Zalathar:no-option
Oct 26, 2023
Merged

The value of `-Cinstrument-coverage=` doesn't need to be `Option`#117207
bors merged 1 commit intorust-lang:masterfrom
Zalathar:no-option

Commits

Commits on Oct 26, 2023