contiki-os/contiki — pull request #322 by LocutusOfBorg (2013-08-07 09:00:49+00:00)
Title: Fix issue reported on contiki mailing list

http://sourceforge.net/mailarchive/forum.php?thread_name=a2b9cb98ac4a191867afc953113fabaa%40amnesiak.org&forum_name=contiki-developers