mirror of
https://github.com/postgres/postgres.git
synced 2025-08-19 23:22:23 +03:00
d2354b6eec
This name was incorrect in the underlying commit message. (The correct name is already listed.) Reported-by: Mark Wong