On Mon, 24 Oct 2022 18:42:54 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a trivial change to update the open form of the javadoc man page. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/10838