On Fri, 23 Jun 2023 20:12:25 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Simple doc clarification, also intended to backport to JDK 21. Marked as reviewed by jjg (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/14633#pullrequestreview-1496044756