[riot-notifications] [RIOT-OS/RIOT] makefiles/docker.inc.mk: Use directories in RIOT when possible (#9646)

MrKevinWeiss notifications at github.com
Thu Mar 7 15:07:44 CET 2019

Sooo this seems ready... or is there something left to do?

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/20190307/e8d70bb1/attachment.html>

More information about the notifications mailing list