On Fri, 9 Jun 2023 19:44:32 GMT, Chris Hegarty <che...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [cee5724d](https://github.com/openjdk/jdk/commit/cee5724d09b9ef9bd528fb721b756cb052265e3d) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Chris Hegarty on 9 Jun 2023 and > was reviewed by Roger Riggs, Uwe Schindler and Paul Sandoz. > > Thanks! Marked as reviewed by uschindler (Author). ------------- PR Review: https://git.openjdk.org/jdk21/pull/3#pullrequestreview-1473013982