mozilla/rust — pull request #4853 by Thiez (2013-02-09 00:59:03+00:00)
Title: Issue 2174

A simple fix for issue 2174.