Skip to content

Removes unneeded check of #[no_coverage] in mapgen#84875

Merged
bors merged 1 commit intorust-lang:masterfrom
richkadel:no-coverage-dont-check-unused
May 7, 2021
Merged

Removes unneeded check of `#[no_coverage]` in mapgen#84875
bors merged 1 commit intorust-lang:masterfrom
richkadel:no-coverage-dont-check-unused

Commits

Commits on May 6, 2021