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. Please see https://github.com/openjdk/jdk/pull/10972 instead. ------------- PR: https://git.openjdk.org/jdk/pull/10838