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

Reply via email to