mozilla/rust — pull request #8573 by mrordinaire (2013-08-17 06:46:13+00:00)
Title: fix for #8088

fix for #8088, along with a test.