Merge proposals

gcc-10-cross-ports in Ubuntu has no merge proposals.