On Wed, 15 Jun 2022 18:06:44 GMT, Maurizio Cimadamore <mcimadamore at 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