On Mon, 18 Dec 2023 11:56:50 GMT, Aleksei Voitylov <avoity...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [fde5b168](https://github.com/openjdk/jdk/commit/fde5b16817c3263236993f2e8c2d2469610d99bd) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Aleksei Voitylov on 14 Dec 2023 > and was reviewed by Roger Riggs. > > Thanks! Verified PR identical to openjdk/jdk PR. ------------- Marked as reviewed by iris (Reviewer). PR Review: https://git.openjdk.org/jdk22/pull/18#pullrequestreview-1789287452
