Re: initdb username doc bug

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.

-- 
Álvaro Herrera         PostgreSQL Developer  —  https://www.EnterpriseDB.com/
“Cuando no hay humildad las personas se degradan” (A. Christie)