mozilla/rust — pull request #4272 by ejholmes (2012-12-23 21:38:15+00:00)
Title: Fix example in 13.3.

See #4626.