Fix an incorrect comment in ticker API#5019

Merged

theotherjimmy merged 1 commit intoARMmbed:masterfrom

fkjagodzinski:fix-ticker_API_docs

Oct 9, 2017

Commits on Sep 5, 2017

HAL: ticker_api: Fix outdated comment
fkjagodzinski
committed