On Mon, 11 Dec 2023 16:26:52 GMT, Per Minborg <pminb...@openjdk.org> 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-1775633794
