mozilla/rust — pull request #9443 by alexcrichton (2013-09-23 22:20:45+00:00)
Title: Improve comment stripping for rustdoc.

There is less implicit removal of various comment styles, and it also removes
extraneous stars occasionally found in docblock comments. It turns out that the
bug for getops was just a differently formatted block.

Closes #9425
Closes #9417