rust-lang/rust — pull request #19710 by steveklabnik (2014-12-10 18:55:07+00:00)
Title: Fix inappropriate ## headings

Fixes #15499.