On Fri, 20 Nov 2020 11:43:48 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Looks good to me! Thank you! Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/1336