On Mon, 29 Nov 2021 09:48:26 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > That looks good to me but @jatin-bhateja should have a look as well. Thanks @TobiHartmann . @jatin-bhateja, please kindly review it. Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/6535