On Thu, 13 Jul 2023 05:45:37 GMT, Stuart Marks <sma...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [743e8b8e](https://github.com/openjdk/jdk/commit/743e8b8e0a9fe032a0dd652a4fef1f761af66595) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Stuart Marks on 12 Jul 2023 and > was reviewed by Paul Sandoz. > > Thanks! Marked as reviewed by rriggs (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk21/pull/118#pullrequestreview-1528521886
