[riot-notifications] [RIOT-OS/RIOT] dist/tools: Add script for backporting PR's (#8968)
notifications at github.com
Tue Feb 5 19:39:39 CET 2019
miri64 approved this pull request.
(This means re-ACK. @cladmi addressed my change request and added tox support since then, so nothing was drastically changed)
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