Merge proposals

rustc in Ubuntu has no merge proposals.