Merge pull request #4869 from apatrushev/master
authorchamptar <champetier.etienne@gmail.com>
Sat, 2 Dec 2017 23:13:09 +0000 (15:13 -0800)
committerGitHub <noreply@github.com>
Sat, 2 Dec 2017 23:13:09 +0000 (15:13 -0800)
micropython: updated to v1.9.2, micropython-lib: updated to v1.9


Trivial merge