On Tue, Aug 4, 2020 at 4:18 PM Alexander Korotkov <aekorot...@gmail.com> wrote: > Pushed. Comment is changed as you suggested. But I've replaced "last > pivot tuple" with "remaining tuples", because the page can also have a > high key, which is also a tuple.
You're right, of course. Thanks again -- Peter Geoghegan
