On Wed, 15 Nov 2023 08:44:17 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > @pchilano can you have look ? > I will. I might not finish the review until next week though. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16404#issuecomment-1813395423