[riot-notifications] [RIOT-OS/RIOT] dist/tools/build_system_sanity_check: BUG fix errors being ignored (#11695)

Gaëtan Harter notifications at github.com
Fri Jun 14 12:29:47 CEST 2019

And another BUG. I should have listened to me when I said, this should go in a separate PR and not piggyback it to the main one.

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...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190614/1f4594a1/attachment.html>

More information about the notifications mailing list