Hi, On Fri, Feb 16, 2024 at 08:39:26PM +0100, Magnus Hagander wrote: > On Fri, Jan 19, 2024 at 1:43 PM Julien Rouhaud <rjuju...@gmail.com> wrote: > > + value as the identity part in <xref linkend="system-user" />, or > > NULL > > I was looking at > > https://www.postgresql.org/docs/current/auth-username-maps.html and > > noticed that this page is switching between system-user and > > system-username. Should we clean that up while at it? > > Seems like something we should clean up yes, but not as part of this patch.
Agree, done in [1]. [1]: https://www.postgresql.org/message-id/ZdMWux1HpIebkEmd%40ip-10-97-1-34.eu-west-3.compute.internal Regards, -- Bertrand Drouvot PostgreSQL Contributors Team RDS Open Source Databases Amazon Web Services: https://aws.amazon.com
