[riot-notifications] [RIOT-OS/RIOT] BOARD_INSUFFICIENT_MEMORY alignment (#9965)

MrKevinWeiss notifications at github.com
Tue Sep 10 14:07:28 CEST 2019


Yup.  I proposed a solution which involved a hacky script doing 90% of the work then manually taking care of the rest.  It was then implemented in a better way and fed into the CI with @x3ro script but never got finished.  I haven't noticed it in a while so I let it stale.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/issues/9965#issuecomment-529904428
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190910/578f74d5/attachment.htm>


More information about the notifications mailing list