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

Reply via email to