Reapply stabilisation of the `#[coverage(..)]` attribute#134942

Closed

clarfonthey wants to merge 1 commit intorust-lang:masterfrom clarfonthey:coverage-attribute

+378-521

Commits on Dec 30, 2024

Reapply "Auto merge of rust-lang#130766 - clarfonthey:stable-coverage-attribute, r=wesleywiser"
clarfonthey
committed