Merge proposals

rust-debversion in Ubuntu has no merge proposals.