[riot-notifications] [RIOT-OS/RIOT] pkg: micropython: initial commit (#2968)
notifications at github.com
Mon Sep 9 11:07:12 CEST 2019
> How about the 3rd option of merging the fork to micropython upstream ?
That surely would be nice and should be our goal, but do you think we should postpone merging this integration PR until upstream is merged?
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications