[riot-notifications] [RIOT-OS/RIOT] makefiles/docker.inc.mk: add PROGRAMMER to the exported variables (#12207)

Juan I Carrano notifications at github.com
Thu Sep 12 16:45:37 CEST 2019

jcarrano approved this pull request.

Tested, works as described.

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/20190912/b070bb81/attachment.htm>

More information about the notifications mailing list