Merge proposals

rustc-1.68 in Ubuntu has no merge proposals.