mozilla/rust — pull request #6672 by yjh0502 (2013-05-22 07:16:38+00:00)
Title: Fix #6342

Fix #6342