[riot-notifications] [RIOT-OS/RIOT] drivers/include: add header definition for wdt (#11527)

Francisco notifications at github.com
Fri Jun 28 09:57:05 CEST 2019


> I'd suggest we keep it out of the API (it would be called automatically, anyways). The first implementation that wants to make use of it can then introduce it.

In that case are we good with the PR as it is?

-- 
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/pull/11527#issuecomment-506641370
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190628/8939a612/attachment-0001.html>


More information about the notifications mailing list