Skip to content

Move the extra directives for Mode::CoverageRun into iter_header#121233

Merged
bors merged 2 commits intorust-lang:masterfrom
Zalathar:extra-directives
Feb 20, 2024
Merged

Move the extra directives for `Mode::CoverageRun` into `iter_header`#121233
bors merged 2 commits intorust-lang:masterfrom
Zalathar:extra-directives

Commits

Commits on Feb 17, 2024