mozilla/rust — pull request #8677 by bblum (2013-08-21 23:58:59+00:00)
Title: Assorted small bugfixes.

r anybody; there isn't anything complicated here