On Mon, 7 Dec 2020 08:13:21 GMT, Stefan Karlsson <stefank at openjdk.org> wrote: > Thanks! Looks good. Thank you Stefan. ------------- PR: https://git.openjdk.java.net/jdk/pull/1522