On Tue, 18 Oct 2022 20:27:54 GMT, Joe Darcy <darcy at openjdk.org> wrote: > "the the" -> "the" > > I'll reflow the paragraph before pushing. Marked as reviewed by naoto (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10750