RIOT-OS/RIOT — pull request #724 by rousselk (2014-02-17 10:51:48+00:00)
Title: Reboot

Sequel of PR #687 (erroneously closed).