On Thu, 8 Dec 2022 09:19:54 GMT, Per Minborg <pminb...@openjdk.org> wrote:
> This PR proposes adding hyperlinks to the sealed graphic layout making > navigation much simpler via the image. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/11580
