Merge proposals

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