On Wed, 10 Jul 2024 16:08:51 GMT, Jorn Vernee <jver...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [c80e2eb3](https://github.com/openjdk/jdk/commit/c80e2eb35c4eb03f17a2a31e979e5c369453e203) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Per Minborg on 12 Jun 2024 and > was reviewed by Jorn Vernee and Maurizio Cimadamore. > > This is a P4 doc-only change, which is permitted in RDP1: > https://openjdk.org/jeps/3#Quick-reference > > This change should also make it possible to cleanly backport: > https://github.com/openjdk/jdk/commit/6f7f0f1de05fdc0f6a88ccd90b806e8a5c5074ef > > Thanks! LGTM ------------- Marked as reviewed by sundar (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/20116#pullrequestreview-2169705274