[riot-notifications] [RIOT-OS/RIOT] makefiles/docker.inc.mk: add and use generic docker_run_make (#13678)

Alexandre Abadie notifications at github.com
Tue May 5 14:33:55 CEST 2020

@fjmolinas I like this PR. Please address my comment and we are good.

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/20200505/666f5eb6/attachment.htm>

More information about the notifications mailing list