Merge pull request #1551 from roger-/micropython
authorTed Hess <[email protected]>
Wed, 8 Jul 2015 17:51:38 +0000 (13:51 -0400)
committerTed Hess <[email protected]>
Wed, 8 Jul 2015 17:51:38 +0000 (13:51 -0400)
micropython: update to fix build issue


Trivial merge