mozilla/rust — pull request #8433 by brson (2013-08-10 07:37:47+00:00)
Title: Rm more oldrt crud

Just deleting more stuff.