On Wed, 10 Mar 2021 05:20:19 GMT, Chris Plummer <cjplummer at openjdk.org> wrote: > See CR for a description of why this change is needed. Looks good and trivial. Thanks, David ------------- Marked as reviewed by dholmes (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/2905