On Mon, 31 Jul 2023 08:13:55 GMT, Jorn Vernee <jver...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [6fca2898](https://github.com/openjdk/jdk/commit/6fca28988794b52a6aa974bed1ed6f4f07e0994b) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Jorn Vernee on 31 Jul 2023 and > was reviewed by Maurizio Cimadamore and Vladimir Ivanov. > > Thanks! Looks good. ------------- Marked as reviewed by thartmann (Reviewer). PR Review: https://git.openjdk.org/jdk21/pull/150#pullrequestreview-1558210925
