On Tue, 16 Jan 2024 12:23:43 GMT, Chris Hegarty <che...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [ee4d9aa4](https://github.com/openjdk/jdk/commit/ee4d9aa4c11c47e7cf15f2742919ac20311f9ea7) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Chris Hegarty on 16 Jan 2024 and > was reviewed by Alan Bateman. > > Thanks! Marked as reviewed by alanb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk22/pull/80#pullrequestreview-1823225500