On Wed, 7 Apr 2021 19:03:14 GMT, Daniel D. Daugherty <dcu...@openjdk.org> wrote:
>> Lutz Schmidt has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Updated comment per request from erikj79 > > Thumbs up. Side bar: I don't quite understand the commit history part of this PR. It looks like this PR was used for something else before it was used for this fix. ------------- PR: https://git.openjdk.java.net/jdk/pull/3379