[riot-notifications] [RIOT-OS/RIOT] dist/tools: Add script for backporting PR's (#8968)

Alexandre Abadie notifications at github.com
Fri Jan 25 18:09:11 CET 2019

ok let's wait, it's not mandatory to have it in the release.

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/20190125/53bd8504/attachment.html>

More information about the notifications mailing list