Re: Summary function for pg_buffercache

[Andres Freund]

Hi,

On 2022-10-12 12:27:54 -0700, Andres Freund wrote:
> I intentionally put my changes into a fixup commit, in case you want to look
> at the differences.

I pushed the (combined) patch now. Thanks for your contribution!

Greetings,

Andres Freund