On Wed, 19 May 2021 07:42:08 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Looks good and trivial. Thanks @iwanowww . ------------- PR: https://git.openjdk.java.net/jdk/pull/4107