mozilla/rust — pull request #4861 by sethpink (2013-02-09 13:10:13+00:00)
Title: Issue #4830 fix

Fix for issue #4830.