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


Trivial merge
git clone https://git.99rst.org/PROJECT