Merge proposals

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