On Fri, 12 Mar 2021 05:49:45 GMT, David Holmes <[email protected]> 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
