On Mon, Aug 17, 2020 at 10:11 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> "David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:
> > On Mon, Aug 17, 2020 at 8:31 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> >> So this is just a verbatim statement of the algorithm, which is what
> >> I was hoping to avoid :-(. But maybe there's no simpler way.
>
> > I got nothin'.
>
> Yeah, me either. So here's a proposed patch, fixing a couple other
> things:
>
>
LGTM
David J.