RIOT-OS/RIOT — pull request #1908 by OlegHahm (2014-10-30 18:15:57+00:00)
Title: sys: fix thread_print_all

Was broken after #1815 got merged.