]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/misc_fixes' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Fri, 20 Jan 2017 09:53:12 +0000 (17:53 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Fri, 20 Jan 2017 09:53:12 +0000 (17:53 +0800)
Misc fixes (including Github PRs)

Collection of single commit fixes, including several from Github.

See merge request !457


Trivial merge