RIOT-OS/RIOT — pull request #1885 by OlegHahm (2014-10-28 00:00:19+00:00)
Title: core: thread_yield_higher cleanup

This is a cleanup PR for #1836.