Skip to content

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

Merged
bors merged 1 commit into
rust-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 into
rust-lang:masterfrom
richkadel:no-coverage-dont-check-unused

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

cd3a8c1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs