[riot-notifications] [RIOT-OS/RIOT] makefiles/tools/serial: Check empty port (#10342)
Juan I Carrano
notifications at github.com
Wed Mar 20 11:22:17 CET 2019
@cladmi I rebased and most of the PR disappeared (it's a good thing, means stuff got merged). I removed the WIP tag, I think this is not WIP any more.
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