On Wed, 19 Oct 2022 18:53:35 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a trivial patch to update `openjdk.java.net` URLs to use `openjdk.org`. Marked as reviewed by iris (Reviewer). ------------- PR: https://git.openjdk.org/jtreg/pull/134