Merge pull request #7149 from neheb/patch-42
authorHannu Nyman <redacted>
Sun, 7 Oct 2018 15:19:21 +0000 (18:19 +0300)
committerGitHub <redacted>
Sun, 7 Oct 2018 15:19:21 +0000 (18:19 +0300)
micropython-lib: Update to 1.9.3


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