[riot-notifications] [RIOT-OS/RIOT] toolchain/cflags: enable dwarf compression (save 50% HDD) (#12150)

benpicco notifications at github.com
Mon Sep 9 19:43:03 CEST 2019

CI is happy and the change is minimal.
Is there anything speaking against this?

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/20190909/621d879d/attachment.htm>

More information about the notifications mailing list