Merge proposals

gcc-arm-none-eabi in Ubuntu has no merge proposals.