rust-lang/rust — pull request #16082 by steveklabnik (2014-07-29 20:23:01+00:00)
Title: Migrate # -> ## in doc headers.

I busted out some `git grep | xargs sed` and fixed this. I've reviewed the diff, and it should be good. Please double check me, though!

Fixes #15499