On Mon, Feb 11, 2019 at 11:46 AM Tom Lane <[email protected]> wrote: > I think we're done with this thread, though I still need to look at > the problem I complained of in <[email protected]>.
Right, we're done with this thread now. Thanks again! -- Peter Geoghegan
