On Thu, 3 Nov 2022 23:15:53 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a trivial change to update the open form of the javadoc man page. Looks good to me. ------------- Marked as reviewed by hannesw (Reviewer). PR: https://git.openjdk.org/jdk/pull/10972