Merge pull request #3860 from commodo/micropython-lib-workaround
authorHannu Nyman <redacted>
Fri, 17 Feb 2017 08:03:04 +0000 (10:03 +0200)
committerGitHub <redacted>
Fri, 17 Feb 2017 08:03:04 +0000 (10:03 +0200)
micropython-lib: workaround the `install` build rule


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