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. Looks good! ------------- Marked as reviewed by hseigel (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1212