Merge pull request #3539 from sbreuss/master
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 21 Nov 2016 19:14:13 +0000 (21:14 +0200)
committerGitHub <noreply@github.com>
Mon, 21 Nov 2016 19:14:13 +0000 (21:14 +0200)
micropython: update micropython and micropython-lib to v1.8.6


Trivial merge