On Wed, 10 Mar 2021 05:20:19 GMT, Chris Plummer <[email protected]> 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
