On Wed, 7 Apr 2021 19:06:26 GMT, Daniel D. Daugherty <dcu...@openjdk.org> wrote:

>> 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.

@dcubed-ojdk Please just ignore the commit history. For some reason I don't 
understand, my push of JDK-8264848 was appended to the pushes for JDK-8264173. 
With previous PRs, that did not happen. Luckily, GitHub was smart enough. 

Btw, thanks a lot for the review!

-------------

PR: https://git.openjdk.java.net/jdk/pull/3379

Reply via email to