The value of -Cinstrument-coverage=
doesn't need to be Option
#117207
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 26, 2023
Merged
The value of `-Cinstrument-coverage=` doesn't need to be `Option`#117207bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom