RIOT-OS/RIOT — pull request #1958 by Kijewski (2014-11-06 21:08:03+00:00)
Title: core: `sched_switch()` switch if not on runqueue

Fixes #1935.

`sched_switch()` should not only switch if the other priority is higher,
but also if the current thread was moved from the runqueue.

This PR is part of #1939.