On Thu, 3 Nov 2022 23:15:53 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a trivial change to update the open form of the javadoc man > page. This pull request has now been integrated. Changeset: 82f9819e Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/82f9819eaccd091c9d3a0b89979ddc13b1ef761c Stats: 10 lines in 2 files changed: 9 ins; 0 del; 1 mod 8294536: Update troff form of man page for new --spec-base-url option Reviewed-by: hannesw ------------- PR: https://git.openjdk.org/jdk/pull/10972