mozilla/rust — pull request #11452 by derekchiang (2014-01-10 14:11:11+00:00)
Title: Fix #11421

A pretty trivial fix.