On Fri, 4 Aug 2023 08:58:46 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [61c58fdd](https://github.com/openjdk/jdk/commit/61c58fdd00727da2841a052477e4f4ecfa7094d6) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Raffaello Giulietti on 4 Aug 2023 > and was reviewed by Alan Bateman and Stuart Marks. > > Thanks! This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk21/pull/164
