]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/small_fixes_from_github' into 'master'
authorJiang Jiang Jian <jack@espressif.com>
Fri, 1 Dec 2017 11:21:10 +0000 (19:21 +0800)
committerJiang Jiang Jian <jack@espressif.com>
Fri, 1 Dec 2017 11:21:10 +0000 (19:21 +0800)
Small fixes by users from GitHub

See merge request !1620


Trivial merge