On Wed, 20 Sep 2023 07:18:55 GMT, iaroslavski <d...@openjdk.org> wrote:
> ... and suggestion to improve naming: there are inconsistent new names: > pivotIndices, indexPivot1 and indexPivot2. I think names pivotIndices, > pivotIndex1 and pivotIndex2 will be better. Do you agree? Please see the variable names updated as suggested, in the latest commit just pushed. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14227#issuecomment-1728138009