mbedmicro/mbed — pull request #542 by paulcox (2014-10-08 14:29:37+00:00)
Title: Adding GCC_ARM build for NUCLEO_F401RE

The GCC_ARM build for NUCLEO_F401RE works fine but was not being
included in the release. This commit adds that build combination.