On Thu, 17 Nov 2022 22:51:00 GMT, Laurent Bourgès <lbourges at openjdk.org> wrote: > Initial PR I am running the full battery of our automated tests on this change. ------------- PR: https://git.openjdk.org/jdk/pull/11225