]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/timer_delete_dispatch_race_v3.2' into 'release/v3.2'
authorJiang Jiang Jian <jack@espressif.com>
Thu, 10 Jan 2019 05:44:15 +0000 (13:44 +0800)
committerJiang Jiang Jian <jack@espressif.com>
Thu, 10 Jan 2019 05:44:15 +0000 (13:44 +0800)
esp_timer: do not allow deleting timers while callbacks are dispatched (backport v3.2)

See merge request idf/esp-idf!4062


Trivial merge