Forked mbed-dev as I use an 20 pins stm32F042 and not the 32 pins version

Dependents:   Numitron_clock

Fork of mbed-dev by mbed official

targets/TARGET_ublox/mbed_rtx.h/shortlog@0a78729d3229: not found in manifest