On Mon, 15 Mar 2021 21:07:15 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: >> Fix typo. > > Thumbs up. > > I concur that this is a trivial fix. Thanks Dan and Harold! ------------- PR: https://git.openjdk.java.net/jdk/pull/3019