mozilla/rust — pull request #8691 by anasazi (2013-08-22 23:15:57+00:00)
Title: The RtioTimer trait should not be exposed to the outside world.

Resolves #8687.