[riot-notifications] [RIOT-OS/RIOT] BOARD_INSUFFICIENT_MEMORY alignment (#9965)
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:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications