mozilla/rust — pull request #12411 by Arcterus (2014-02-20 03:12:49+00:00)
Title: Move time of of extra

More work towards finishing #8784.