mozilla/rust — pull request #8828 by brson (2013-08-28 18:25:04+00:00)
Title: doc: Remove statement about scheduling randomness

The new scheduler is not currently that random.