[PATCH] Fix link to pg_ident_file_mappings

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

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

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