contiki-os/contiki — pull request #143 by idelamer (2013-02-24 21:18:51+00:00)
Title: Bug fix for Issue #88

This commit fixes issue #88 which was introduced by Commit b43dad00b.

See issue #88 for discussion.