Merge proposals

gcc-4.7-armhf-cross in Ubuntu has no merge proposals.