On Mon, 27 Nov 2023 20:17:44 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Quick doc-only fix. Marked as reviewed by jjg (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16832#pullrequestreview-1751293919