]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/minor_fixes_github' into 'master'
authorAngus Gratton <angus@espressif.com>
Wed, 20 Sep 2017 23:21:32 +0000 (07:21 +0800)
committerAngus Gratton <angus@espressif.com>
Wed, 20 Sep 2017 23:21:32 +0000 (07:21 +0800)
Minor fixes from github

See merge request !1292


Trivial merge