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