contiki-os/contiki — pull request #761 by sieben (2014-08-01 17:12:55+00:00)
Title: Fixup useless semicolon

Removing useless semicolon