mirror of https://github.com/postgres/postgres
Commit 8720a15e9a added the wrong name.
Nazir Bilal Yavuz
Discussion: https://postgr.es/m/20240720181405.5a.nmisch@google.com
pull/167/head
parent
3937cadfd4
commit
840b3b5b4e
Loading…
Reference in new issue