contiki-os/contiki — pull request #721 by g-oikonomou (2014-06-12 08:11:58+00:00)
Title: Download the RL 78 toolchain from a different URL

Fixes #720