]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/fixes_from_github' into 'master'
authorAngus Gratton <angus@espressif.com>
Mon, 10 Oct 2016 21:00:27 +0000 (05:00 +0800)
committerAngus Gratton <angus@espressif.com>
Mon, 10 Oct 2016 21:00:27 +0000 (05:00 +0800)
Minor fixes/improvements (github-related)

Fixes for some issues reported on github or otherwise related.

See merge request !131


Trivial merge