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. ------------- PR: https://git.openjdk.java.net/jdk/pull/642