contiki-os/contiki — pull request #719 by John-Yu (2014-06-12 01:18:03+00:00)
Title: Coffee:  collect_garbage()  is not work  except the first time 

This pull request addresses issue #709 .