Merge proposals

gcc-4.8 in Ubuntu has no merge proposals.