Merge proposals

rust-lexopt in Ubuntu has no merge proposals.