rust-lang/rust — pull request #19291 by steveklabnik (2014-11-25 02:49:20+00:00)
Title: /** -> ///

second half of https://github.com/rust-lang/rust/pull/19288