[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:
-------------- 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