[riot-notifications] [RIOT] core: priority_queue_add hangs on duplicate adds (#3132)

Oleg Hahm notifications at github.com
Tue Jun 23 16:56:06 CEST 2015


@gebart, any new insights or are you going to adapt the PR accordingly?

---
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/3132#issuecomment-114533873
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20150623/c6680f22/attachment.html>


More information about the notifications mailing list