Merge proposals

gcc-7 in Ubuntu has no merge proposals.