On Sat, 10 Oct 2020 03:23:16 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: >> Please review this trivial fix. >> Thanks. > > Thumbs up! I agree that this is a trivial fix. Thanks @dcubed-ojdk for your review. ------------- PR: https://git.openjdk.java.net/jdk/pull/586