]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12586 : chris-morgan/rust/fix-pretty-print-slash-star-star-star-crash...
authorbors <bors@rust-lang.org>
Thu, 27 Feb 2014 01:26:37 +0000 (17:26 -0800)
committerbors <bors@rust-lang.org>
Thu, 27 Feb 2014 01:26:37 +0000 (17:26 -0800)
The pretty printer was treating block comments with more than two
asterisks after the first slash (e.g. `/***`) as doc comments (which are
attributes), whereas in actual fact they are just regular comments.


Trivial merge