contiki-os/contiki — pull request #710 by nvt (2014-06-11 13:41:52+00:00)
Title: Coffee: Copy the correct number of bytes in filenames

This pull request addresses issue #707.