mozilla/rust — pull request #6688 by graydon (2013-05-22 22:38:30+00:00)
Title: revert no-longer-required workaround for mystery bug, close #3396

Whatever it was, it is no longer a problem here.