Arduino_BlinkWithoutDelay_Timeout sample code ported. It should work according to mbed Handbook, BUT IT DOESN'T!!! Do you have any idea?

Dependencies:   mbed

main.cpp/shortlog@ddd5359cb1e3: not found in manifest