Merge proposals

rust-merge in Ubuntu has no merge proposals.