Get rid of no-longer-needed #[doc(hidden)] attributes.#6768
Merged
bors merged 1 commit intorust-lang:incomingfrom May 27, 2013
Merged
Get rid of no-longer-needed #[doc(hidden)] attributes.#6768bors merged 1 commit intorust-lang:incomingfrom
bors merged 1 commit intorust-lang:incomingfrom
