Thomas Munro <thomas(dot)munro(at)gmail(dot)com> writes:> On Thu, Dec 16, 2021 at 11:51 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:>> Here's a draft patch for this.
> LGTM.
Pushed, thanks for looking.
regards, tom lane