On Tue, 27 Apr 2021 12:23:59 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Looks good to me. Thanks @TobiHartmann . @vnkozlov , are you OK with the latest change? Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/3677