mbedmicro/mbed — pull request #800 by marcuschangarm (2014-12-17 10:36:23+00:00)
Title: Updated Ticker.cpp to take interrupt handling delay into account when re...

...-arming the timer. Previously, delayed interrupt handling could cause the timer to be set to fire in the distant future instead of the intended interval.