On Thu, 5 Aug 2021 14:48:16 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > A trivial change to fix a mis-merge in JDK-8271878. Marked as reviewed by jwilhelm (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/5023