Thread: [PATCH] Fix link to pg_ident_file_mappings

[PATCH] Fix link to pg_ident_file_mappings

From
Erik Wienhold
Date:
The docs on pg_reload_conf() in v15, v16, and devel have an incorrect
link to pg_ident_file_mappings.  The attached patch fixes that.

-- 
Erik

Attachment

Re: [PATCH] Fix link to pg_ident_file_mappings

From
Daniel Gustafsson
Date:
> On 21 Feb 2024, at 03:24, Erik Wienhold <ewie@ewie.name> wrote:
> 
> The docs on pg_reload_conf() in v15, v16, and devel have an incorrect
> link to pg_ident_file_mappings.  The attached patch fixes that.

Nice catch, will fix.

--
Daniel Gustafsson




Re: [PATCH] Fix link to pg_ident_file_mappings

From
Michael Paquier
Date:
On Wed, Feb 21, 2024 at 08:50:59AM +0100, Daniel Gustafsson wrote:
> On 21 Feb 2024, at 03:24, Erik Wienhold <ewie@ewie.name> wrote:
>>
>> The docs on pg_reload_conf() in v15, v16, and devel have an incorrect
>> link to pg_ident_file_mappings.  The attached patch fixes that.
>
> Nice catch, will fix.

Thanks you both.  This looks like a copy-pasto from a2c84990bea7.\
--
Michael

Attachment

Re: [PATCH] Fix link to pg_ident_file_mappings

From
Erik Wienhold
Date:
On 2024-02-21 08:50 +0100, Daniel Gustafsson wrote:
> > On 21 Feb 2024, at 03:24, Erik Wienhold <ewie@ewie.name> wrote:
> > 
> > The docs on pg_reload_conf() in v15, v16, and devel have an incorrect
> > link to pg_ident_file_mappings.  The attached patch fixes that.
> 
> Nice catch, will fix.

Thanks!

-- 
Erik