On Mon, 5 Oct 2020 16:02:06 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > Looks good. I only have minor suggested changes, but it's your call > on whether to make those changes. Thanks Dan! Updated. ------------- PR: https://git.openjdk.java.net/jdk/pull/376