From: Ivan Grokhotkov <ivan@espressif.com>
Date: Wed, 29 Nov 2017 04:32:38 +0000 (+0800)
Subject: Merge branch 'bugfix/esp_timer_profiling' into 'master'
X-Git-Tag: v3.1-dev~16
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6228d0c409cc3937b01acb6e931add3bdc9b77f1;p=esp-idf

Merge branch 'bugfix/esp_timer_profiling' into 'master'

esp_timer: fix for deletion of timer in a callback, add docs

See merge request !1607
---

6228d0c409cc3937b01acb6e931add3bdc9b77f1