RIOT-OS/RIOT — pull request #126 by OlegHahm (2013-08-12 17:28:54+00:00)
Title: fix priority comparison in sched_switch

fixes an old, but yet unknown bug in the mutex implementation