Merge pull request #129 from antonblanchard/update-micropython
authorAnton Blanchard <anton@linux.ibm.com>
Fri, 10 Jan 2020 20:35:37 +0000 (07:35 +1100)
committerGitHub <noreply@github.com>
Fri, 10 Jan 2020 20:35:37 +0000 (07:35 +1100)
Point to upstream micropython


Trivial merge