mozilla/rust — pull request #13914 by alexcrichton (2014-05-03 09:12:17+00:00)
Title: Pile of rustdoc fixes

Lots of assorted things here and there, all the details are in the commits.