On Thu, 25 Feb 2021 22:41:46 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a small doc fix to remove some superfluous `<p>` tags and an erroneous `</tr>` tag, all reported by doclint.. Marked as reviewed by naoto (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/2733