On Wed, Jan 10, 2024 at 06:05:17PM +0100, Álvaro Herrera wrote:
> On 2024-Jan-10, Bruce Momjian wrote:
>
> > On Mon, Jan 8, 2024 at 04:50:19PM -0500, Tom Lane wrote:
> > > Bruce Momjian <bruce@momjian.us> writes:
> > > > Agreed, updated patch attached.
> > >
> > > WFM.
> >
> > Patch applied back to PG 16, which is where the erroneous text was
> > added.
>
> Thank you! It looks good to me too. Sorry I got a bit too late to this
> thread.
Sure, no problem, we got it!
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Only you can decide what is important to you.