On Mon, 11 Dec 2023 16:26:52 GMT, Per Minborg wrote:
> This PR is a backport of https://github.com/openjdk/jdk/pull/16993
Looks good (already approved in master)
-
Marked as reviewed by mcimadamore (Reviewer).
PR Review: https://git.openjdk.org/jdk22/pull/7#pullrequestreview-17756
This PR is a backport of https://github.com/openjdk/jdk/pull/16993
-
Commit messages:
- Backport d13302f8b06f65319426a25a9368abaf72f3c247
Changes: https://git.openjdk.org/jdk22/pull/7/files
Webrev: https://webrevs.openjdk.org/?repo=jdk22&pr=7&range=00
Issue: https://bugs.openjdk.