Remove incorrect name from release notes
authorPeter Eisentraut <peter@eisentraut.org>
Tue, 1 Nov 2022 13:17:36 +0000 (14:17 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Tue, 1 Nov 2022 13:17:36 +0000 (14:17 +0100)
commitd2354b6eecccb78fe697a270bd97298cbc63f477
tree3a70298b2cd8883dfc3f3d0bdabef188dbdd5b90
parent3395cc1dbae5f5713373e59510425138da8cecb4
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
doc/src/sgml/release-15.sgml