XIAOHUI TAO / Mbed 2 deprecated hw2_protothread

timer.h/shortlog@ee91220d7bea: not found in manifest