Properly close HTML formatter pre tag for leading comment

[pdswan]

closes #828

[brasmusson]

@pdswan A tip, when you create a pull request for fixing an issue, do include "fixes #" in the description of the pull request (or any of the other keywords for closing issues), then the issue will be closed automatically when the pull request is merged. "see #" is not nearly as good, since it only creates a link to the issue, the issue will have to be closed manually when the pull request is merged (and yes, pull request descriptions can be edited after the pull request is created).

[mattwynne]

...and also thanks @pdswan ;)

[mattwynne]

Seriously, I do think this kind of edge-case would be better tested with a unit-test. The pretty_specs are in good shape IIRC and should be easy enough to add this example to. Did you try @pdswan?

[pdswan]

@brasmusson that's certainly much more useful, isn't it. updated.

@mattwynne agreed and moved. could have sworn i looked for an appropriate unit spec last night 😕

[brasmusson]

Merged, thanks for your contribution @pdswan.

[lock]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.