On Fri, 12 Mar 2021 05:49:45 GMT, David Holmes <dholmes at openjdk.org> wrote: >> See CR for a description of why this change is needed. > > Looks good and trivial. > > Thanks, > David Thanks, David! ------------- PR: https://git.openjdk.java.net/jdk/pull/2905