On Tue, 13 Oct 2020 15:56:57 GMT, Richard Reingruber <rrich at openjdk.org> wrote: > Hi Thomas, > this is a major enhancement and it looks good to me. Congratulations! :) > Cheers, Richard. Thanks a lot Richard! ------------- PR: https://git.openjdk.java.net/jdk/pull/336