On 12/11/2020 2:39 am, Daniel D.Daugherty wrote:
On Wed, 11 Nov 2020 05:12:21 GMT, David Holmes <dhol...@openjdk.org> wrote:
Daniel D. Daugherty has updated the pull request incrementally with one
additional commit since the last revision:
resolve more robehn and coleenp comments.
One change requested in relation to use of jint instead of size_t.
One code simplification suggestion.
Thanks,
David
This PR is now integrated! @dholmes-ora - for some reason you are not listed
as a reviewer and I'm not sure why. I'm sorry I didn't notice that you were
dropped
off before I pulled the trigger.
I'm not listed as a Reviewer because I did not mark this as approved and
had an outstanding "change requested" status. That's just the way things
work.
I still think the jint/size_t situation is an unnecessary mess, but
appreciate the extra comments you added.
Thanks,
David
-------------
PR: https://git.openjdk.java.net/jdk/pull/642
