On Tue, 18 Oct 2022 20:59:41 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> "the the" -> "the" >> >> I'll reflow the paragraph before pushing. > > Joe Darcy has updated the pull request incrementally with one additional > commit since the last revision: > > Reflow looks looks good good ;-) ------------- Marked as reviewed by lancea (Reviewer). PR: https://git.openjdk.org/jdk/pull/10750