contiki-os/contiki — pull request #858 by simonduq (2014-11-10 12:42:09+00:00)
Title: Remove unnecessary list_remove in ctimer.c (list_add automatically remov...

...es first)