Merge proposals

rust-nonempty in Ubuntu has no merge proposals.