Merge proposals

GCC ARM Embedded Developers has no merge proposals.