[riot-notifications] [RIOT-OS/RIOT] [PoC] Save up to 75% of disk space in builds w/ compressed DWARF and Thin Archives. (#12152)

Gaëtan Harter notifications at github.com
Mon Sep 16 14:43:04 CEST 2019

Maybe wait if https://github.com/RIOT-OS/RIOT/pull/12248 works. Otherwise thin archive may need to be temporarily reverted.

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/20190916/d3ee937d/attachment.htm>

More information about the notifications mailing list