mozilla/servo — pull request #728 by brson (2013-08-14 22:20:36+00:00)
Title: Don't use 'select'

The new runtime isn't quite mature enough to deal with it, and this
is faster anyway.