Hi all,
This pull request contains a backport of commit [33c6ec9d] from the
[openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Roger Riggs on 19 Jun 2023 and
was reviewed by Paul Hohensee, Aleksey Shipilev and Ao Qi.
Thanks!
-------------
Commit messages:
- Backport 33c6ec9d4eb36649a94125aa005dc6b961dcd2c1
Changes: https://git.openjdk.org/jdk21/pull/40/files
Webrev: https://webrevs.openjdk.org/?repo=jdk21&pr=40&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8310019
Stats: 26 lines in 3 files changed: 26 ins; 0 del; 0 mod
Patch: https://git.openjdk.org/jdk21/pull/40.diff
Fetch: git fetch https://git.openjdk.org/jdk21.git pull/40/head:pull/40
PR: https://git.openjdk.org/jdk21/pull/40
