Merge pull request #1528 from roger-/micropython
authorTed Hess <thess@kitschensync.net>
Fri, 3 Jul 2015 16:56:32 +0000 (12:56 -0400)
committerTed Hess <thess@kitschensync.net>
Fri, 3 Jul 2015 16:56:32 +0000 (12:56 -0400)
micropython/micropython-lib: update to latest


Trivial merge