mozilla/rust — pull request #6757 by ben0x539 (2013-05-26 20:00:33+00:00)
Title: rustdoc: insert blank lines between consecutive doc comment blocks

This is to prevent, for example,

/**
* foo
*/

/// bar

mod m {
//! baz
}

from being rendered into a single paragraph "foo bar baz" in the html.