On Fri, Jun 25, 2021 at 10:06 AM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:> pgsql-hackers
(Oops, I meant to write pgsql-general).