On 26/10/2018 23:10, Jonathan Gibbons wrote:
Please review a couple of very small changes to fix some HTML issues in the generated docs.

The first change removes an empty paragraph; the second avoids causing nested <a> tags.
Looks good (I had to read the bug to understand how this nested anchor arises as it's not obvious at first).

-Alan

Reply via email to