mozilla/rust — pull request #7047 by bblum (2013-06-11 00:05:27+00:00)
Title: Bug triage: easy fixes for issues #3843, #2618, #4943

r? anybody