On Mon, 9 Nov 2020 01:19:01 GMT, David Holmes <dholmes at openjdk.org> wrote: > Thanks for the updates. A couple of minor (mostly pre-existing) nits in the comments. > > David Thank you David! ------------- PR: https://git.openjdk.java.net/jdk/pull/1034