One thread killed
Merge branch 'rpl_nonstoring' of github.com:fabianbrandt/RIOT into rpl_nonstoring