On Thu, 2 Dec 2021 18:29:45 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Looks good to me. Thank you for doing this! > > ..Thomas Thanks for the review, @tstuefe ------------- PR: https://git.openjdk.java.net/jdk/pull/6640