Merge proposals

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