]> granicus.if.org Git - esp-idf/commitdiff
projects / esp-idf / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3bbe41c f3a44aa)
Merge branch 'bugfix/taskwdt' into 'master'
authorWu Jian Gang <wujiangang@espressif.com>
Thu, 17 Nov 2016 13:03:45 +0000 (21:03 +0800)
committerWu Jian Gang <wujiangang@espressif.com>
Thu, 17 Nov 2016 13:03:45 +0000 (21:03 +0800)
taskwdt fixes: better handling of empty/emptying wdt task list, lock task struct while feeding

As in description.

See merge request !212


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.