Remove duplicate label (already in the target name)
Merge branch 'master' of https://github.com/mbedmicro/mbed
Merge branch 'master' of https://github.com/mbedmicro/mbed
Add Nucleo board reset. Do not release Nordic yet.