Merge proposals

rust-cov-mark in Ubuntu has no merge proposals.