[riot-notifications] [RIOT-OS/RIOT] Makefile.include: change to account for TOOLCHAIN having dependencies (#15832)
notifications at github.com
Tue Jan 26 16:56:55 CET 2021
> should I split into a different PR?
I don't think that needed. The change seems reasonable. Just needs some more testing. You could change the PR title.
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