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!

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

Commit messages:
 - Backport c80e2eb35c4eb03f17a2a31e979e5c369453e203

Changes: https://git.openjdk.org/jdk/pull/20116/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=20116&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8333886
  Stats: 21 lines in 1 file changed: 21 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/20116.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/20116/head:pull/20116

PR: https://git.openjdk.org/jdk/pull/20116

Reply via email to