Merge pull request #138 from antonblanchard/micropython-update
authorAnton Blanchard <anton@linux.ibm.com>
Sun, 19 Jan 2020 10:48:34 +0000 (21:48 +1100)
committerGitHub <noreply@github.com>
Sun, 19 Jan 2020 10:48:34 +0000 (21:48 +1100)
Update micropython


Trivial merge