mozilla/rust — pull request #8518 by catamorphism (2013-08-14 23:57:56+00:00)
Title: Issue 8498 workaround

r? @brson