On Fri, 13 Nov 2020 23:19:09 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > Trivial change to delete a stale comment block. I'm okay with the comment removal. Thanks. ------------- Marked as reviewed by dholmes (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1212