On Mon, 3 Oct 2022 17:59:06 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a small change to address a suggestion that was accidentally overlooked in PR #10366 > > The URLs are changed to use `https://git.openjdk.org/` Marked as reviewed by darcy (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10542