On Tue, 4 Jul 2023 19:05:58 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [7b3c2dc5](https://github.com/openjdk/jdk/commit/7b3c2dc5f45afc3646ff5cdc0f6efd68e0b70ea5) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Pavel Rappo on 4 Jul 2023 and was > reviewed by Joe Darcy, Naoto Sato, Mandy Chung, Iris Clark, Hamlin Li and > Sean Mullan. > > Thanks! Appears identical to change in 22, as expected. ------------- Marked as reviewed by iris (Reviewer). PR Review: https://git.openjdk.org/jdk21/pull/94#pullrequestreview-1513478430