mbedmicro/mbed — pull request #820 by ohagendorf (2014-12-30 19:01:30+00:00)
Title: [NUCLEO_F072RB] adding target to rtos lib

Every test (DTCT_1, EXAMPLE_1, MBED_xx, RTOS_x) is OK.