On Sat, Dec 14, 2024 at 1:45 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> On Sat, Dec 14, 2024 at 9:55 AM Andres Freund <andres(at)anarazel(dot)de> wrote:
> > But since the above change checkpointer doesn't use EXTENSION_DONT_CHECK_SIZE
> > anymore.
> >
> > Seems we should remove this code?
>
> +1
And done.