On Mon, 12 Jun 2023 11:01:08 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
> This is the same PR as https://github.com/openjdk/jdk/pull/14098, but > backported to the JDK 21 repo fork. Already reviewed the other PR. ------------- Marked as reviewed by jvernee (Reviewer). PR Review: https://git.openjdk.org/jdk21/pull/7#pullrequestreview-1474902428