Fix the error message for #![feature(no_coverage)]#115832
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 14, 2023
Merged
Fix the error message for `#![feature(no_coverage)]`#115832bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
