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