On Fri, 13 Jun 2025 09:14:09 GMT, Kevin Walls <kev...@openjdk.org> wrote:
> Clean backport to jdk25 of this doc-only change. Marked as reviewed by alanb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/25795#pullrequestreview-2924968150