On Wed, 15 Jun 2022 18:06:44 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
> This is a JDK 19 clone of: https://github.com/openjdk/jdk/pull/9017 Already reviewed in the mainline repo. ------------- Marked as reviewed by jvernee (Reviewer). PR: https://git.openjdk.org/jdk19/pull/22
