On Tue, 28 Jun 2022 21:30:23 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Please review this simple doc update. Marked as reviewed by jjg (Reviewer). ------------- PR: https://git.openjdk.org/jdk19/pull/87