On Tue, 20 Jun 2023 17:02:04 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit [33c6ec9d] from the > [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Roger Riggs on 19 Jun 2023 > and was reviewed by Paul Hohensee, Aleksey Shipilev and Ao Qi. > > Thanks! Looks fine. ------------- Marked as reviewed by shade (Reviewer). PR Review: https://git.openjdk.org/jdk21/pull/40#pullrequestreview-1488618518
