Merge proposals

rust-atty in Ubuntu has no merge proposals.