[riot-notifications] [RIOT-OS/RIOT] core: remove kernel_types.h (#15482)

benpicco notifications at github.com
Wed Nov 25 16:17:14 CET 2020

@benpicco approved this pull request.

looks good to me - please squash.
Let's see if it now also looks good to Murdock. 

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/20201125/fdeeede0/attachment.htm>

More information about the notifications mailing list