On Tue, 13 Jun 2023 18:55:20 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [bfef3c3e](https://github.com/openjdk/jdk/commit/bfef3c3e80d4df98bdb0d853c2e2711cdd8252ce) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Raffaello Giulietti on 13 Jun > 2023 and was reviewed by Lance Andersen. > > Thanks! Marked as reviewed by bpb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk21/pull/14#pullrequestreview-1477880089
