mozilla/rust — pull request #3923 by am0d (2012-11-06 00:45:17+00:00)
Title: Fixes issue #3891

There should be just one commit in here - if not, I'll try to fix that, but I can't really work out how to get rid of all the extra ones.