On Tue, Aug 4, 2020 at 4:18 PM Alexander Korotkov <aekorotkov@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