]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/minor_fixes_github' into 'master'
authorAngus Gratton <angus@espressif.com>
Tue, 10 Oct 2017 05:14:18 +0000 (13:14 +0800)
committerAngus Gratton <angus@espressif.com>
Tue, 10 Oct 2017 05:14:18 +0000 (13:14 +0800)
More minor fixes from github

See merge request !1360


Trivial merge