On Thu, Feb 11, 2021 at 9:22 PM Andrey Borodin <x4mmm(at)yandex-team(dot)ru> wrote:
> Thanks, Peter! I agree that taking PageGetMaxOffsetNumber() seems
> incorrect for deleted page, because we set pd_lower for the deleted page.
> Also, there was an idea to add a column for LP_DEAD.
> As long as we are dealing with deleted data anyway, maybe let's add this column?
> PFW both patches.
I pushed both of your patches this evening.
Thanks!
--
Peter Geoghegan