On Wed, 3 Nov 2021 11:30:58 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Looks good to me. Thanks @TobiHartmann . Will push it tomorrow if there is no objection. ------------- PR: https://git.openjdk.java.net/jdk/pull/6142