mozilla/rust — pull request #10915 by alexcrichton (2013-12-11 06:30:30+00:00)
Title: A few small issue fixes

Just a little cleanup.