mozilla/rr — pull request #696 by cgjones (2014-02-01 22:48:39+00:00)
Title: Try harder to make sched_yield() schedule another runnable thread.

Resolves #695.