On Wed, Jan 18, 2023 at 6:51 AM Tom Lane <t...@sss.pgh.pa.us> wrote: > I wrote: > > Yeah, sideswiped by 3c6fc5820 apparently. No substantive change needed. > > And immediately sideswiped by da5800d5f.
Yeah, I noticed this too yesterday. I reviewed through these two patches yesterday and I think they are in good shape now. Thanks Richard