"David G. Johnston" <[email protected]> writes: > On Mon, Aug 17, 2020 at 10:11 AM Tom Lane <[email protected]> wrote: >> Yeah, me either. So here's a proposed patch, fixing a couple other >> things:
> LGTM
Pushed, thanks for review.
regards, tom lane
