pgsql: Remove incorrect name from release notes

2023-08-27 Thread Peter Eisentraut
Remove incorrect name from release notes This name was incorrect in the underlying commit message. (The correct name is already listed.) Reported-by: Denis Laxalde Branch -- REL_16_STABLE Details --- https://git.postgresql.org/pg/commitdiff/60d7d50f426b17b544fd8c24024d87ab8331984f Mo

pgsql: Remove incorrect name from release notes

2022-11-01 Thread Peter Eisentraut
Remove incorrect name from release notes This name was incorrect in the underlying commit message. (The correct name is already listed.) Reported-by: Mark Wong Branch -- REL_15_STABLE Details --- https://git.postgresql.org/pg/commitdiff/d2354b6eecccb78fe697a270bd97298cbc63f477 Modifie