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. label add hotspot-runtime ------------- PR: https://git.openjdk.java.net/jdk/pull/1212