On Thu, 8 Jun 2023 21:36:03 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a trivial docs change to fix a URL in a `@spec` tag consistent > with equivalent URLs in other tags. > (Consistency will be required when the External Specifications page is > enabled.) My bad. Thanks for fixing the URL. ------------- Marked as reviewed by naoto (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/14384#pullrequestreview-1470819371