On Fri, Sep 19, 2025 at 11:44 AM Thomas Munro <thomas.munro@gmail.com> wrote:
> On Fri, Sep 19, 2025 at 12:36 AM Andres Freund <andres@anarazel.de> wrote:
> > I'm planning to commit 0001 soon, unless you'd like to do the honors - I would
> > break it with some upcoming patches, and it's a good improvement. Those
> > patches also will PinBuffer_Locked() a bit slower, i.e. it'd be good to avoid
> > using it in ReadRecentBuffer() for that reason alone.
>
> Oh, thanks for thinking about that interaction. I'll go ahead and
> push it later today after I re-convince myself that it's correct.
Sorry I haven't got to this yet. Please feel free to go ahead and
push it if it's blocking you...