On Mon, Aug 17, 2020 at 10:11 AM Tom Lane <t...@sss.pgh.pa.us> wrote:
> "David G. Johnston" <david.g.johns...@gmail.com> writes: > > On Mon, Aug 17, 2020 at 8:31 AM Tom Lane <t...@sss.pgh.pa.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.