[riot-notifications] [RIOT-OS/RIOT] pkg: micropython: initial commit (#2968)
notifications at github.com
Mon Sep 9 11:11:18 CEST 2019
> do you think we should postpone merging this integration PR until upstream is merged?
I don't but I just wanted to put this option on the table now since, surprisingly, this hasn't been mentioned before.
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