"David G. Johnston" <david.g.johns...@gmail.com> writes: > On Mon, Aug 17, 2020 at 10:11 AM Tom Lane <t...@sss.pgh.pa.us> wrote: >> Yeah, me either. So here's a proposed patch, fixing a couple other >> things:
> LGTM Pushed, thanks for review. regards, tom lane