Merge pull request #7145 from neheb/micro
authorHannu Nyman <redacted>
Sun, 7 Oct 2018 09:44:15 +0000 (12:44 +0300)
committerGitHub <redacted>
Sun, 7 Oct 2018 09:44:15 +0000 (12:44 +0300)
micropython: Update to 1.94


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