Re: Add os_page_num to pg_buffercache

[Mircea Cadariu]

Hi,

Thanks! As the most recent changes are only docs and tests, I did not 
try out v6 anymore, but just checked the CI result; all green.

I've set the status to Ready for Committer.

Kind regards,

Mircea Cadariu