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