Merge pull request #1727 from roger-/micropython
authorTed Hess <[email protected]>
Fri, 28 Aug 2015 16:08:42 +0000 (12:08 -0400)
committerTed Hess <[email protected]>
Fri, 28 Aug 2015 16:08:42 +0000 (12:08 -0400)
micropython: update to latest


Trivial merge