On Wed, 28 Jun 2023 17:34:51 GMT, Jorn Vernee <jver...@openjdk.org> wrote:
> Hi all, > > This pull request contains a backport of commit > [7fffdb5e](https://github.com/openjdk/jdk/commit/7fffdb5e60351026c9ee77f438b8fe505d85de4c) > from the [openjdk/jdk](https://git.openjdk.org/jdk) repository. > > The commit being backported was authored by Jorn Vernee on 28 Jun 2023 and > was reviewed by Maurizio Cimadamore. > > Thanks! Marked as reviewed by mcimadamore (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk21/pull/78#pullrequestreview-1503668090
