mbedmicro/mbed — pull request #177 by bcostm (2014-02-19 16:58:19+00:00)
Title: Change us_ticker timer (32-bit) on Nucleo L152RE and F401RE 

This change solves the wrong timings issue with the Ticker.