> On 21 Feb 2024, at 03:24, Erik Wienhold <e...@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 21 Feb 2024, at 03:24, Erik Wienhold <e...@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