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