[riot-notifications] [RIOT-OS/RIOT] core: Make support for multi-tasking optional (#11226)

Marian Buschsieweke notifications at github.com
Tue Jul 23 09:03:30 CEST 2019

Let's close this PR for now. If there is still a reason to add this once other approaches to reduce RIOT's footprint for simple tasks have been merge, it can be opened again.

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/20190723/c4a85e18/attachment.htm>

More information about the notifications mailing list