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.. Looks fine. ------------- Marked as reviewed by bpb (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/2733