coverage: Include the highest counter ID seen in .cov-map dumps - #131476

coverage: Include the highest counter ID seen in .cov-map dumps#131476

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

Zalathar:highest-counterZalathar/rust:highest-counterCopy head branch name to clipboard