mozilla/rust — pull request #14171 by edwardw (2014-05-13 06:32:22+00:00)
Title: Fix #8391

Fixes #8391 and eliminate some superfluous clones.

Closes #8391