On Thu, 4 Mar 2021 07:50:32 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Good catch. Looks good to me. Thanks @TobiHartmann for your review. ------------- PR: https://git.openjdk.java.net/jdk/pull/2823