RIOT-OS/RIOT — pull request #1272 by OlegHahm (2014-06-04 00:13:51+00:00)
Title: core: fix variable name for sched_pidlist

Something was overlooked in #1000.