On Fri, 20 Nov 2020 11:25:47 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Looks good, thank you! Thanks for reviewing. Integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/1334