On Fri, 13 Jun 2025 09:14:09 GMT, Kevin Walls <kev...@openjdk.org> wrote:

> Clean backport to jdk25 of this doc-only change.

Thanks Alan!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/25795#issuecomment-2970579787

Reply via email to