Merge proposals

gcc-10 in Ubuntu has no merge proposals.