On Tue, 20 Dec 2022 21:31:55 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a trivial documentation fix to fix a broken link. Marked as reviewed by iris (Reviewer). ------------- PR: https://git.openjdk.org/jdk20/pull/67