[riot-notifications] [RIOT-OS/RIOT] [WIP] Release 2018.10 notes (#10257)

Gaƫtan Harter notifications at github.com
Wed Nov 7 17:29:19 CET 2018

I added my contributions after the others in the list.

>  I was afraid it might be not synced properly in some cases

It is better if it can be updated for the release ;)
To update it during the previous release I used this page https://github.com/RIOT-OS/RIOT/pulls?q=is%3Amerged+no%3Amilestone

I also used it this time to find my unasigned PRs.

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/20181107/937c60bf/attachment.html>

More information about the notifications mailing list